Title: Mechanizing Proof
Subjects: Computers and civilization, Computers, reliability