![Z notation / Axiom / Mathematical proof / S / Proof theory / Mathematics / Mathematical logic / Logic Z notation / Axiom / Mathematical proof / S / Proof theory / Mathematics / Mathematical logic / Logic](https://www.pdfsearch.io/img/0d6dcf4b4adf8884649f7b35ce42dfb6.jpg) Date: 2013-10-01 08:32:13Z notation Axiom Mathematical proof S Proof theory Mathematics Mathematical logic Logic | | 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 ListSource URL: lvl.info.ucl.ac.beDownload Document from Source Website File Size: 135,71 KBShare Document on Facebook
|