Articles matching “Barnett”

Mike Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte, Verification of Object-Oriented Programs with Invariants, pp. 27-56, PDF, HTML, DOI. Volume 3, no. 6 (June 2004)