一覧
登録利用者:
登録者ページ
利用者(E-people)

JAIST Repository >

GAINA, Daniel Mircea（ガイナ　ダニエル　ミルチェア）助教研究者総覧

No．書籍情報
1 Sufficient completeness of parameterized specifications in CafeOBJ / Nakamura, Masaki, Gaina, Daniel, Ogata, Kazuhiro, Futatsugi, Kokichi, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2014-005, pp.1-4, 2014-12-15, 北陸先端科学技術大学院大学情報科学研究科

 
お問合せ先 : 北陸先端科学技術大学院大学　研究推進課学術情報係 (ir-sys[at]ml.jaist.ac.jp)