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

[227 デフォルトの名無しさん 2013/10/08(火) 21:54:39.89]

>>225
お前は自然言語が使えるんだろ？
「ここの記述はミスじゃないですか？」
「書き換えても検証結果は変わらないしミスということで直しましょう」
こんなやりとりもできないの？