殷永峰 & 姜博. (2021). 嵌入式软件系统测试: 基于形式化方法的自动化测试解决方案. 机械工业出版社.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)殷永峰 và 姜博. 嵌入式软件系统测试: 基于形式化方法的自动化测试解决方案. 机械工业出版社, 2021.
Trích dẫn kiểu MLA (xuất bản lần thứ 8)殷永峰 và 姜博. 嵌入式软件系统测试: 基于形式化方法的自动化测试解决方案. 机械工业出版社, 2021.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.