Auditing User-Provided Axioms in Software Verification Conditions.

Paul B. Jackson, Florian Schanda, Angela Wallenburg

Browse the full FMICS paper archive.