Introduction
General information
Research
News
Jobs
Links
Information
Guest
PhD students
LIP6
»
News
»
PhD students
RIOBOO Renaud
Habilitation() -
CALFOR
https://www.lip6.fr/production/publications-rapport-fiche.php?RECORD_KEY%28rapports%29=id&id(rapports)=220
Programmer le Calcul Formel, de L'Algorithmique a la Sémantique
Defence
: 12/18/2002
2 PhD graduated 2010
2010
BLOND Julien
: Outil pour implémentation de logiciels certifiables EAL7.
NOYER Yves
: Trois études sur l'implantation des matrices en FoCaLiZe, les preuves quantitatives et la réutilisation de preuves.
Mentions légales
Site map |
LIP6 » News » PhD students
Programmer le Calcul Formel, de L'Algorithmique a la Sémantique