オオニシ アツシ
大西 淳
OHNISHI Atsushi
所属 情報理工学部 情報理工学科
職名 教授
言語種別 英語
発行・発表の年月 1982/09
形態種別 研究論文(国際会議プロシーディングス)
査読 査読あり
標題 Verification System for Formal Requirements Description
執筆形態 共著
掲載誌名 Proc. the IEEE 6th International Conference on Software Engineering (ICSE)
巻・号・頁 120-126
著者・共著者 Kiyoshi Agusa, Atsushi Ohnishi, Yutaka Ohno