Title: Mechanizing proof
Subjects: Computer systems, Reliability, Computers and civilization