# HG changeset patch
# User atsuki
# Date 1203089855 -32400
# Node ID f2f4577cf0ab3e8c5726e868847b93a80e521669
# Parent  9b2553e32341b2b2688908e2a3f250f8d605ceb6
*** empty log message ***

diff -r 9b2553e32341 -r f2f4577cf0ab paper/appendix.tex
--- a/paper/appendix.tex	Fri Feb 15 22:16:02 2008 +0900
+++ b/paper/appendix.tex	Sat Feb 16 00:37:35 2008 +0900
@@ -1,3 +1,16 @@
-\chapter*{付録}
-\addcontentsline{toc}{chapter}{付録}
+\chapter*{発表文献}
+\addcontentsline{toc}{chapter}{発表文献}
 
+タブロー法を用いた Continuation based C プログラムの検証\\
+下地 篤樹, 河野 真治, ~~
+情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS), May, 2006.
+\\
+\\
+タブロー法を用いた Continuation based C プログラムの検証\\
+下地 篤樹, 河野 真治, ~~
+日本ソフトウェア科学会第23回大会, 2006.
+\\
+\\
+線形時相論理による Continuation based C プログラムの検証\\
+下地 篤樹, 河野 真治, ~~
+情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS), April, 2007.
diff -r 9b2553e32341 -r f2f4577cf0ab paper/master_paper.tex
--- a/paper/master_paper.tex	Fri Feb 15 22:16:02 2008 +0900
+++ b/paper/master_paper.tex	Sat Feb 16 00:37:35 2008 +0900
@@ -70,7 +70,7 @@
 \input{bibliography.tex}
 
 %付録
-%\input{appendix.tex}
+\input{appendix.tex}
 
 %\printindex
 \end{document}