Boogie: A modular reusable verifier for object-oriented programs (2006)

by Mike Barnett , Bor-yuh Evan Chang , Robert Deline , Bart Jacobs , K. Rustanm. Leino
Venue:Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, volume 4111 of Lecture Notes in Computer Science
Citations:215 - 44 self