Component-based algebraic specification and verification in CafeOBJ
-
- Diaconescu Razvan
- School of Information Science, Japan Advanced Institute of Science and Te
この論文をさがす
収録刊行物
-
- Research report
-
Research report 99 1-20, 1999-05-06
北陸先端科学技術大学院大学
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1570572701813924352
-
- NII論文ID
- 110000570849
-
- NII書誌ID
- AN10495756
-
- ISSN
- 09187553
-
- 本文言語コード
- en
-
- データソース種別
-
- CiNii Articles