@techreport{weko_54440_1,
   author	 = "森,正 and 角川裕次 and 阿江,忠",
   title	 = "プログラムの正しさの理解を目的とした教材作成システム",
   year 	 = "2001",
   institution	 = "広島大学大学院工学研究科情報工学専攻, 広島大学大学院工学研究科情報工学専攻, 広島大学大学院工学研究科情報工学専攻",
   number	 = "101(2001-CE-061)",
   month	 = "oct"
}