"Boogie: A Modular Reusable Verifier for Object-Oriented Programs."

Michael Barnett et al. (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics