|
イイダ シュウサク
IIDA Shusaku
飯田 周作 所属 専修大学 ネットワーク情報学部 職種 教授 |
|
| 言語種別 | 日本語 |
| 発行・発表の年月 | 2007/09 |
| 形態種別 | 研究発表ペーパー・要旨（全国大会，その他学術会議） |
| 標題 | 代数仕様における演繹的検証方法と探索的検証方法の組み合わせに関する研究 |
| 執筆形態 | 共著 |
| 掲載誌名 | 日本ソフトウェア科学会大会論文集 |
| 掲載区分 | 国内 |
| 出版社・発行元 | 日本ソフトウェア科学会 |
| 巻・号・頁 | 24 |
| 著者・共著者 | 川崎 恵久、二木 厚吉、飯田 周作 |