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

by Mike Barnett
Venue:In Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, volume 4111 of LNCS