イイダ　シュウサク   IIDA Shusaku   飯田 周作    所属   専修大学  ネットワーク情報学部    職種   教授
言語種別	日本語
発行・発表の年月	2000/06/22
形態種別	未選択
標題	CAFE : An Industrial-Shrength Algebraic Formal Method Chapter 2 CafeOBJ Jeuels (K.Futatsugi. And T.Tamai eds.)
執筆形態	共著
掲載誌名	Elsevier
巻・号・頁	33-60頁
著者・共著者	R?zvan Diaconescu. Kakichi Futatsugi