edubaseSpace勉強会Week ～ Formal Methods Forum

18 views

Skip to first unread message

unread,

Aug 4, 2011, 11:15:20 PM8/4/11

to allo...@googlegroups.com

今井です。

NII edubaseSpace にて、8/15にFormal Method Forumさん主催の形式手法の勉強会が開かれます。
Alloyの紹介もあるようです。

ご興味ある方は、下記をご参照下さい。
http://kokucheese.com/event/index/15236/

# 補足あればお願いします。＞小林さん

Reply all

Reply to author

Forward

0 new messages