@techreport{weko_26970_1,
   author	 = "渡邊,裕樹 and 本間,尚文 and 青木,孝文 and 樋口,龍雄",
   title	 = "算術演算回路の形式的検証手法とその評価",
   year 	 = "2006",
   institution	 = "東北大学大学院情報科学研究科, 東北大学大学院情報科学研究科, 東北大学大学院情報科学研究科, 東北工業大学工学部電子工学科",
   number	 = "126(2006-SLDM-127)",
   month	 = "nov"
}