---

Automated Reasoning and Formal Verification

Strachey Lecture given on Jan 20, 2004. 2003

[ postscript (for fullscreen GSview) | pdf (for fullscreen acroread) ]

---