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

[219 デフォルトの名無しさん 2013/10/08(火) 21:19:40.69]

発言の意図を汲み取ってクレクレ言う人が形式手法とは恐れ入った！