Title: Software Verification and Analysis: An Integrated, Hands-On Approach, Author: Janusz Laski
Title: Testing And Quality Assurance For Component-Based Software, Author: Jerry Gao
Title: Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice, Author: Anca Vermesan
Title: Temporal Verification of Reactive Systems: Safety, Author: Zohar Manna

Pagination Links