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

[162 デフォルトの名無しさん 2013/10/04(金) 16:33:28.90]

http://www.amazon.co.jp/dp/481018563X
かな。