"Specification check tool S3 and its mathematical model"

11月20日（金）に、TPP (Theorem Proving and Prover) meeting 2009 研究集会（websiteはこちら）において、　以上のタイトルで発表をします。