Title: Systems and software verification
Subjects: Computer systems, Verification, Computer software, Computer software, verification