イイダ　シュウサク   IIDA Shusaku   飯田 周作    所属   専修大学  ネットワーク情報学部    職種   教授
言語種別	英語
発行・発表の年月	1999
形態種別	学術書
標題	A Component-based Algebraic Specification of ODP Trading Function and the Interactive Browsing Environment
執筆形態	共著
掲載誌名	OBJ/CafeOBJ/Maude at Formal Methods '99, THETA
巻・号・頁	pp.227-241