书名：嵌入式软件系统测试：基于形式化方法的自动化测试解决方案 作者：殷永峰 姜博 出版社：机械工业出版社 出版时间：2021-01-01 ISBN：9787111672425
本书由机械工业出版社有限公司授权掌阅科技电子版制作与发行
版权所有·侵权必究 YTF6oYylEUaqKuQsOb3L7h0CsboZ1qKCqTdODTxNyiLNzJySz1wjrSq8PJtsPtEB
