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

[46 デフォルトの名無しさん 2013/01/30(水) 07:46:32.50]

PGが仕様記述言語でプログラム書いてるから、
プログラムと同じ長さになるんじゃね？