formal approaches to software testing
.../Testing of Communicating Systems: 17th IFIP TC 6/WG 6.1 软件测试形式方法/会议文集Formal Approaches to Software Testing 2004计算的理论方面Theoretical Aspects of Computing - ICTAC ..
基于4个网页-相关网页
formal approaches to software testing
正式的软件测试方法
以上为机器翻译结果，长、整句建议使用 人工翻译 。