Title: High-Integrity Software (Software Science and Engineering)
Subjects: Computer software, Reliability