\chapter*{発表文献}
\addcontentsline{toc}{chapter}{発表文献}

タブロー法を用いた Continuation based C プログラムの検証\\
下地 篤樹, 河野 真治, ~~
情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS), May, 2006.
\\
\\
タブロー法を用いた Continuation based C プログラムの検証\\
下地 篤樹, 河野 真治, ~~
日本ソフトウェア科学会第23回大会, 2006.
\\
\\
線形時相論理による Continuation based C プログラムの検証\\
下地 篤樹, 河野 真治, ~~
情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS), April, 2007.