@techreport{weko_28517_1,
   author	 = "蚊野浩 and 大井康 and 木村晋二 and 石浦菜岐佐 and 安浦寛人 and 矢島脩三",
   title	 = "会話型論理設計・検証支援システムISS",
   year 	 = "1982",
   institution	 = "京都大学工学部, 京都大学工学部, 京都大学工学部, 京都大学工学部, 京都大学工学部, 京都大学工学部",
   number	 = "51(1982-SLDM-015)",
   month	 = "dec"
}