論文

査読有り
2003年

Proof scores in the OTS/CafeOBJ method

FMOODS'03
  • OGATA K.

開始ページ
170
終了ページ
184
記述言語
掲載種別
論文集(書籍)内論文
DOI
10.1007/978-3-540-39958-2_12
出版者・発行元
Springer

リンク情報
DOI
https://doi.org/10.1007/978-3-540-39958-2_12
CiNii Articles
http://ci.nii.ac.jp/naid/10029506962
URL
http://link.springer.com/content/pdf/10.1007/978-3-540-39958-2_12
ID情報
  • DOI : 10.1007/978-3-540-39958-2_12
  • ISSN : 0302-9743
  • eISSN : 1611-3349
  • CiNii Articles ID : 10029506962

エクスポート
BibTeX RIS