François Pessaux
2
Documents
Présentation
Welcome! This is my minimal HAL CV/research page. For more details, please consult my page at <http://u2is.ensta-paristech.fr/members/pessaux/index.php?lang=en>
Welcome! This is my minimal HAL CV/research page. For more details, please consult my page at <http://u2is.ensta-paristech.fr/members/pessaux/index.php?lang=en>
Publications
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Trusted Software within FocalC&ESAR 2008 - Computer & Electronics Security Applications Rendez-vous, Dec 2008, Rennes, France. pp.162-179
Communication dans un congrès
hal-01125667v2
|
|
Compiling Programs and Proofs: FoCaLiZe Internals[Research Report] Ensta ParisTech. 2018
Rapport
hal-01801276v1
|