books.google.it - Most aspects of our private and social lives -- our safety, the integrity of the financial system, the functioning of utilities and other services, and national security -- now depend on computing. But how can we know that this computing is trustworthy? In Mechanizing Proof, Donald MacKenzie addresses...http://books.google.it/books/about/Mechanizing_proof.html?hl=it&id=QiMS8t4V_0cC&utm_source=gb-gplus-shareMechanizing proof
