Object invariants in dynamic contexts (2004)

Cached

Download Links

by K. Rustan , M. Leino , Peter Müller
Venue:In ECOOP
Citations:3 - 0 self