オオニシ アツシ
大西 淳
OHNISHI Atsushi
所属 情報理工学部 情報理工学科
職名 教授
言語種別 英語
発行・発表の年月 1984/02
形態種別 論文(その他)
査読 査読あり
標題 A Verification Method for Formal Requirements Description
執筆形態 共著
掲載誌名 Journal of Information Processing
巻・号・頁 7(4),223-229
著者・共著者 Agusa K, Atsushi Ohnishi, Ohno Y.