Object Invariants in Dynamic Contexts. (2004)

by K R M Leino, P Muller
Venue:In ECOOP 2004 - Object-Oriented Programming, 18th European Conference,