Publication
Object Invariants in Dynamic Contexts
Publication
Hoare-Style Program Verification (Lecture 2)
Publication
Righting Software
Publication
Hoare-Style Program Verification (Lecture 0)
Publication