Verification of Object-Oriented Programs With Invariants

Mike Barnett, Rob DeLine, Manuel Fähndrich, K. Rustan M. Leino, and Wolfram Schulte

Details

Publication typeInproceedings
Published inFormal Techniques for Java-like Programs (FTfJP)
> Publications > Verification of Object-Oriented Programs With Invariants