Back to Results
First PageMeta Content
Computing / Theoretical computer science / Software engineering / Computer science / Formal methods / Logic in computer science / Functional languages / Formal verification / Xavier Leroy / Computer security / Coq / French Institute for Research in Computer Science and Automation


École Normale Supérieure Mémoire d’habilitation à diriger des recherches Specialité Informatique The Quest for Formally Secure Compartmentalizing Compilation
Add to Reading List

Document Date: 2018-10-11 15:04:00

Open Document

File Size: 1,34 MB

Share Result on Facebook