@techreport{weko_22306_1,
   author	 = "小野,康一 and 山本,剛 and 所,洋一 and 深澤,良彰 and 門倉,敏夫",
   title	 = "代数的仕様への変換による前提終了条件表記仕様のデバッグについて",
   year 	 = "1990",
   institution	 = "早稲田大学理工学部, ソニー（株）CAE推進本部, NHK富山放送局, 早稲田大学理工学部, 早稲田大学理工学部",
   number	 = "62(1990-SE-073)",
   month	 = "jul"
}