@inproceedings{weko_126850_1,
   author	 = "菱田,利浩 and 福宮,英二 and 縄田,毅史 and 角谷,和俊 and 田中,裕彦",
   title	 = "家電ソフトウェア設計支援システム「VisualCASE」における仕様検証機構",
   booktitle	 = "全国大会講演論文集",
   year 	 = "1994",
   volume	 = "第49回",
   number	 = "ソフトウェア工学",
   pages	 = "143--144",
   month	 = "sep"
}