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