Object invariants in dynamic contexts (2004)

by K R M Leino, P Müller
Venue:European Conference on Object-Oriented Programming (ECOOP