Title: Software Verification And Analysis An Integrated Handson Approach
Subjects: Computer science, Software engineering, Computer software, Verification, Computer software, verification