@techreport{weko_87420_1,
   author	 = "谷田英生 and AmirMasoudGharehbaghi and 藤田昌宏",
   title	 = "形式的手法を用いたプロセッサ設計不具合の自動診断と修正",
   year 	 = "2012",
   institution	 = "東京大学大学院工学系研究科電気系工学専攻, 東京大学大規模集積システム設計教育研究センター／科学技術振興機構戦略的創造研究推進事業CREST, 東京大学大規模集積システム設計教育研究センター／科学技術振興機構戦略的創造研究推進事業CREST",
   number	 = "21",
   month	 = "dec"
}