プログラム仕様記述論

前半がプログラムの正当性の証明のしかたについて書いてあって、面白かった、けど、色々しんどかったのであんまりちゃんと読んでない。後半は、VDM-SLの書きかたがひたすら書いてあって、よくわからんかったのでちゃんと読んでない。

まとめ: ちゃんと読んでない。