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

[249 デフォルトの名無しさん 2013/10/16(水) 02:03:25.11]

>>247
例えば>>188は
形式主義を真っ向から否定しているようだが？