内藤 晋: "形式的仕様記述言語LOTOSの記述スタイルについて" 情報処理学会ソフトウェア工学研究会. 92-100. 131-138 (1992)
内藤 晋: "形式的仕様記述言語LOTOSの記述スタイルについて" 情報処理学会ソフトウェア工学研究会. 92-100. 131-138 (1992)
复制标题
Susumu Naito：“关于形式规范语言LOTOS的描述风格”日本软件工程学会信息处理研究组92-100（1992）。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
