Working on formal verification, applying the proof system Coq to verifying mainstream programs. Company: https://t.co/QQHlozbHYj

ID:135973107

linkhttp://guillaume.claret.me/ calendar_today22-04-2010 17:51:27