Verification of object-oriented programs with invariants (0)

by M Barnett, R DeLine, M Fahndrich, K R M Leino, W Schulte
Venue:Journal of Object Technology