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

[123 デフォルトの名無しさん 2013/09/14(土) 22:53:25.27]

だったらVDMの静的解析に期待を持てるような
実績や活用法の情報をくれよ