Object invariants in dynamic contexts (0)

by K Rustan M Leino, Peter Müller
Venue:In Odersky [124