Object invariants in dynamic contexts (2004)

by K Rustan M Leino, Peter Müller
Venue:European Conference on Object-Oriented Programming