@techreport{weko_22108_1,
   author	 = "丸山,勝久 and 小野,康一 and 門倉,敏夫 and 深澤,良彰",
   title	 = "プログラム変更に対する正当性検証技法と分割技法の適用",
   year 	 = "1993",
   institution	 = "早稲田大学理工学部, 早稲田大学理工学部, 早稲田大学理工学部, 早稲田大学理工学部",
   number	 = "13(1992-SE-090)",
   month	 = "feb"
}