HOL-Boogie – an interactive prover-backend for the Verifying C (2009)

by S Böhme, M Moskal, W Schulte, B Wolff
Venue:Compiler. J. of Automated Reasoning