2003年
Proof scores in the OTS/CafeOBJ method
FMOODS'03
- 開始ページ
- 170
- 終了ページ
- 184
- 記述言語
- 掲載種別
- 論文集(書籍)内論文
- DOI
- 10.1007/978-3-540-39958-2_12
- 出版者・発行元
- Springer
- リンク情報
- ID情報
-
- DOI : 10.1007/978-3-540-39958-2_12
- ISSN : 0302-9743
- eISSN : 1611-3349
- CiNii Articles ID : 10029506962