Software Verification and Analysis: An Integrated, Hands-On Approach, Stanley, W

Software Testing and Analysis Process Principles Techniques Book Pezze Young

Software Verification and Analysis: An Integrated, Hands-On Approach 2009

Software Verification and Analysis - 9781848822399

Automated Technology for Verification and Analysis: 14th International Sympo...

Program Flow Analysis: Theory and Applications (Prentice-Hall Software Serie...

Practical Malware Analysis: The Hands-On Guide to Dissecting Malicious Software

Guide to Software Verification with Frama-C - 9783031556104