"HOL-Boogie - An Interactive Prover for the Boogie Program-Verifier."

Sascha Böhme, K. Rustan M. Leino, Burkhart Wolff (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics