Shaoying Liu: "Utilizing Specification Testing in Review Task Trees for Rigorous Review of Formal Specifications"Proceedings of Asia-Pacific Software Engineering Conference (APSEC03), IEEE Computer Society Press. December 10-12. 510-519 (2003)
Shaoying Liu: "Utilizing Specification Testing in Review Task Trees for Rigorous Review of Formal Specifications"Proceedings of Asia-Pacific Software Engineering Conference (APSEC03), IEEE Computer Society Press. December 10-12. 510-519 (2003)
复制标题
Shaoying Liu：“利用评审任务树中的规范测试对正式规范进行严格评审”亚太软件工程会议论文集（APSEC03），IEEE计算机学会出版社。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
