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

[0209 デフォルトの名無しさん 2013/10/08(火) 17:34:58.34]

>>206
>これも違う。人間がどういう読み方をしようと、machine readableであれば
>形式仕様なんだよ。

じゃあポインタをキャストしまくってるCのソースも形式仕様だねw