@techreport{weko_141262_1,
   author	 = "水谷,祐馬 and 石川,冬樹",
   title	 = "VDM++におけるテストデータに基づいたリファインメント検証手法の提案",
   year 	 = "2015",
   institution	 = "NTTソフトウェア株式会社, 国立情報学研究所",
   number	 = "35",
   month	 = "mar"
}