Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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