Verification of Object-Oriented Programs with Invariants
By: Mike Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte
Cite as:
Mike Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte, “Verification of Object-Oriented Programs with Invariants”, Journal of Object Technology, Volume 3, no. 6 (June 2004), pp. 27-56, doi:10.5381/jot.2004.3.6.a2.
PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn