Search

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