Class invariants: The end of the road (2007)

by M Parkinson
Venue:In: International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO