Back to Results
First PageMeta Content
Logic in computer science / Automated theorem proving / Formal methods / Isabelle / Proof assistant / Mathematical logic / Theorem Proving in Higher-Order Logics / Formal verification / Lawrence Paulson / Theoretical computer science / Mathematics / Applied mathematics


Isabelle and Security Jasmin Christian Blanchette1,2 and Andrei Popescu3 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany
Add to Reading List

Document Date: 2015-02-24 07:25:16

Open Document

File Size: 64,21 KB

Share Result on Facebook
UPDATE