Mechanizing Proof
Subtitle: Computing, Risk, and Trust
Publisher: MIT Press
Published: 2001
Language: eng
ISBN-13: 9780585436739
Subjects: Computers and civilization; Computers, reliability