Title: Verification and Validation of Modern Software-Intensive Systems
Subjects: Software engineering, Validation, Verification, Computer software