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

[0260 デフォルトの名無しさん 2013/10/16(水) 10:01:36.85]

>>257
なんの限定もついていない形式手法について話してるつもりだが？
しかも言ってることは、「記号操作が本質なのじゃないよ」ということだけ