@techreport{weko_33883_1,
   author	 = "中島,震 and 池田,健次郎 and 橋本,祐介 and 岩崎,新一",
   title	 = "Cプログラム・モデル検査におけるDbC",
   year 	 = "2007",
   institution	 = "国立情報学研究所／総合研究大学院大学, NEC ソフトウェアエンジニアリング本部, NEC ソフトウェアエンジニアリング本部, NEC ソフトウェアエンジニアリング本部",
   number	 = "121(2007-EMB-006)",
   month	 = "dec"
}