%0 Book %1 mackenzie2001 %A MacKenzie, D.A. %D 2001 %I MIT Press %K TOREAD books social-factors %T Mechanizing Proof: computing, risk, and trust

@book{mackenzie2001, added-at = {2007-05-14T23:02:50.000+0200}, author = {MacKenzie, D.A.}, biburl = {https://www.bibsonomy.org/bibtex/2dc452dcb1574d14b2341b2e0842ce249/mstrohm}, description = {recommended by Jorge}, interhash = {f08e669708b78682b3102f298632372b}, intrahash = {dc452dcb1574d14b2341b2e0842ce249}, keywords = {TOREAD books social-factors}, publisher = {MIT Press}, timestamp = {2007-05-15T18:03:05.000+0200}, title = {{Mechanizing Proof: computing, risk, and trust}}, year = 2001 }