Theorem Proving Advent Calendar 2011

6 views

Skip to first unread message

unread,

Dec 1, 2011, 4:34:59 AM12/1/11

to Formal Methods Forum

小林です。

たぶん、知ってる人はみんな知っている、
という状況だと思いますが、あえて紹介します。

なんてものが行われています。
ご興味のある方はぜひ。

Reply all

Reply to author

Forward

0 new messages