Search results for: Rod Chapman
Lecture Notes in Computer Science > FM’99 — Formal Methods > Safety > 1527-1545
Lecture Notes in Computer Science > Reliable Software Technology – Ada-Europe 2005 > Certification and Verification > 144-155
Reflections on the Work of C.A.R. Hoare > 405-430