Joint work with Mike Barnett, Robert DeLine, Manuel Fahndrich, and Wolfram Schulte Verifying invariants in object-oriented programs K. Rustan M. Leino.
Program Verification Using the Spec# Programming System ETAPS Tutorial K. Rustan M. Leino, Microsoft Research, Redmond Rosemary Monahan, NUIM Maynooth.
Technologies for finding errors in object-oriented software K. Rustan M. Leino Microsoft Research, Redmond, WA Lecture 3 Summer school on Formal Models.
Persistent Programming with ZODB 10 th International Python Conference Alexandria, Virginia February 4, 2002 Jeremy Hylton and Barry Warsaw {jeremy,barry}@zope.com.
Mini-training: Code Contract
Object invariants, immutability & you full talk (v1) - AmsterdamPHP
2015 04-15 object invariants, immutability & you (v2) - NijmegenPHP
