Science and Engineering: A Collusion of Cultures (The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks‚ DSN 2007‚ 25−28 June 2007‚ Edinburgh‚ UK‚ Proceedings, 2007)

(untitled) - Hoare, T