@techreport{weko_27166_1,
   author	 = "松本,剛史 and 齋藤,寛 and 藤田,昌宏",
   title	 = "依存グラフを用いた局所的な記号シミュレーションによるC言語記述に対する等価性検証手法の提案",
   year 	 = "2005",
   institution	 = "東京大学大学院工学系研究科電子工学専攻, 会津大学コンピュータ理工学部コンピュータハードウェア学科, 東京大学大規模集積システム設計教育研究センター",
   number	 = "43(2005-SLDM-120)",
   month	 = "may"
}