【Alloy】形式言語による仕様記述【VDM】

[5 デフォルトの名無しさん 2013/01/06(日) 01:23:51.63]

第3回形式手法の産業応用ワークショップ（予稿・スライド）
http://cfv.jp/cvs/event/workshop/2012/09/

第2回・第1回へのリンク有