Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Auditing User-provided Axioms in Software Verification Conditions Paul Jackson1 , Florian Schanda2 and Angela Wallenburg2 1. University of Edinburgh 2. Altran UK (Praxis)
Add to Reading List
Document Date: 2013-10-01 08:32:13
Open Document
File Size: 135,71 KB
Share Result on Facebook
UPDATE
Auditing User-provided Axioms in Software Verification Conditions Paul Jackson1 , Florian Schanda2 and Angela Wallenburg2 1. University of Edinburgh 2. Altran UK (Praxis)