Sciweavers

30
Voted
JAR
2010

HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler

14 years 21 days ago
HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler
Sascha Böhme, Michal Moskal, Wolfram Schulte,
Added 28 Jan 2011
Updated 28 Jan 2011
Type Journal
Year 2010
Where JAR
Authors Sascha Böhme, Michal Moskal, Wolfram Schulte, Burkhart Wolff
Comments (0)