Shaoying Liu: "A Property-Based Approach to Reviewing Formal Specifications for Consistency"Proceedings of 16th International Conference on Software & Systems Engineering and Their Applications, Paris, France. December 2-4. 1/6-6/6 (2003)
Shaoying Liu: "A Property-Based Approach to Reviewing Formal Specifications for Consistency"Proceedings of 16th International Conference on Software & Systems Engineering and Their Applications, Paris, France. December 2-4. 1/6-6/6 (2003)
复制标题
刘少英：“基于属性的方法来审查形式规范的一致性”第16届国际软件大会论文集
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
