Object Invariants in Dynamic Contexts (2004)

by K R M Leino, P Müller
Venue:In ECOOP. Pp