Verification of object-oriented programs with invariants (2004)

by M Barnett, R Deline, M Fähndrich, K R M Leino, W Schulte
Venue:Journal of Object Technology