@techreport{weko_27050_1,
   author	 = "佐々木,俊介 and 西原,佑 and 安藤,大介 and 藤田,昌宏",
   title	 = "SpecC言語の依存グラフを利用したプログラムチェッカ",
   year 	 = "2006",
   institution	 = "東京大学大学院工学系研究科電子工学専攻,  東京大学大学院工学系研究科電子工学専攻,  東京大学工学部電子工学科,  東京大学大規模集積システム設計教育研究センター",
   number	 = "28(2006-SLDM-124)",
   month	 = "mar"
}