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

[226 デフォルトの名無しさん 2013/10/08(火) 21:51:58.92]

>>224
字面に引きずられて、それで「形式手法やってます」と言えるの？