@techreport{weko_37241_1,
   author	 = "辻野,嘉宏",
   title	 = "GUIダイアログの自動検証への試み",
   year 	 = "1997",
   institution	 = "大阪大学大学院基礎工学研究科情報数理系",
   number	 = "107(1997-HI-075)",
   month	 = "nov"
}