Date: 2018-10-11 15:04:00Computing 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 CompilationAdd to Reading ListSource URL: prosecco.gforge.inria.frDownload Document from Source Website File Size: 1,34 MBShare Document on Facebook
|