logo EDITE Pascal MANOURY
Identité
Pascal MANOURY
État académique
Thèse soutenue
Laboratoire: personnel permanent
Voisinage
Ellipse bleue: doctorant, ellipse jaune: docteur, rectangle vert: permanent, rectangle jaune: HDR. Trait vert: encadrant de thèse, trait bleu: directeur de thèse, pointillé: jury d'évaluation à mi-parcours ou jury de thèse.
Productions scientifiques
oai:hal.archives-ouvertes.fr:hal-00396371
Experience Report: Using Objective Caml to develop safety-critical embedded tool in a certificaiton framework
International Conference of Functional Programming ICFP 09, Royaume-Uni 2009