stiさんのページ

プログラム検証についての重要なトピックであるHoare論理を掘り下げて扱った貴重な和書であり、同レベルの類書は和書では見当たらない。