VMD 形式仕様記述言語

VDM++による形式仕様記述
http://research.nii.ac.jp/~f-ishikawa/vdm/index.html

直感的に、昔から「むかむか」するのは何故だろう？

No Thank You な「言語」である。