Tomohiro Oda: "Application of Slicing Technique to Formal Specifications" Proc.JCSE'93. 203-210 (1993)
Tomohiro Oda: "Application of Slicing Technique to Formal Specifications" Proc.JCSE'93. 203-210 (1993)
复制标题
Tomohiro Oda:“切片技术在形式规范中的应用”Proc.JCSE93。
DOI:
--
复制
发表时间:
--
期刊:
影响因子:
--
通讯作者:
中科院分区:
文献类型:
--
作者: