形式手法によるプログラム解析第２回

http://www.edubase.jp/contents/view/50#

JMLを使用した解析だそうな。
帰宅したら視聴する。