Verification of Object-Oriented Programs with Invariants (2004)

by Mike Barnett , Robert DeLine , Manuel Fähndrich , K. Rustan M. Leino , Wolfram Schulte
Venue:JOURNAL OF OBJECT TECHNOLOGY
Citations:186 - 36 self