Verification of Object-Oriented Programs With Invariants
Mike Barnett, Rob DeLine, Manuel Fähndrich, K. Rustan M. Leino, and Wolfram Schulte
July 2003
In Formal Techniques for Java-like Programs (FTfJP)
Details
| Type | Inproceedings |
Share
Mike Barnett, Rob DeLine, Manuel Fähndrich, K. Rustan M. Leino, and Wolfram Schulte
July 2003
In Formal Techniques for Java-like Programs (FTfJP)
| Type | Inproceedings |
