Title: Specifications of reliable software
Subjects: Reliability, Computer software