イイダ　シュウサク   IIDA Shusaku   飯田 周作    所属   専修大学  ネットワーク情報学部    職種   教授
言語種別	日本語
発行・発表の年月	1999/06/21
形態種別	未選択
標題	「Component-based Algebraic Specification and Verification in CafeOBJ」
執筆形態	共著
掲載誌名	Proc. Of the First World Congress on Formal Methods. Lecture Notes in Computer Science No.1709 Spri
巻・号・頁	1644-1663頁
著者・共著者	共著者:Razvan Diaconescu. Kokichi Futatsugi