Category: Computers General Forum Communication Profession Social Aspects

Author

Message Text For: Mechanizing Proof: Computing, Risk, and Trust Peter G. Neumann Navigation: Select Threads Forums

Discussion

Date Posted: Tuesday December 18, 2001 02:49:50 PM Required reading for anyone aspiring to develop or teach of computer systems. Reply Top Bottom Next Previous

Navigation: Select Threads Forums

[ACM]   [Ubiquity]   [ACM Privacy Policy]