http://groups.google.co.jp/group/fm-forum
開設いたしました。
本日は皆様、第1会勉強会に参加ありがとうございました。
今後の活動として、
Coq、B-Method、ソフトウェア科学基礎
の3本立てで勉強会を進めていきます。
http://groups.google.co.jp/group/fm-forum
開設いたしました。
本日は皆様、第1会勉強会に参加ありがとうございました。
今後の活動として、
Coq、B-Method、ソフトウェア科学基礎
の3本立てで勉強会を進めていきます。