イイダ　シュウサク   IIDA Shusaku   飯田 周作    所属   専修大学  ネットワーク情報学部    職種   教授
発表年月日	1996/06/18
発表テーマ	「実行可能な代数仕様言語による仕様の検証」
会議名	日本ソフトウェア科学会第13回大会
主催者	日本ソフトウェア科学会第13回大会
学会区分	全国学会