Verification of object-oriented programs with invariants. (2004)

by M Barnett, R DeLine, M Fahndrich, K R M Leino, W Schulte
Venue:JOT,