[FOM] looking for review

Steve Stevenson steve at cs.clemson.edu
Tue Dec 10 11:14:27 EST 2002

Morning to all:

 One of my graduate students, Ted Doyle by name, found a review on the ACM
 digital library.

  >       I found a review for "Mechanizing Proof: Computing, Risk, and
  > Trust" by Donald A. MacKenzie
  > http://www.acm.org/ubiquity/book_reviews/p_neumann_4.html


More information about the FOM mailing list