@techreport{weko_25496_1,
   author	 = "下地,篤樹 and 河野真治",
   title	 = "タブロー法を用いたContinuation based C プログラムの検証",
   year 	 = "2006",
   institution	 = "琉球大学理工学研究科情報工学専攻, 琉球大学工学部情報工学科",
   number	 = "44(2006-OS-102)",
   month	 = "may"
}