CerPAN
Certification de Programmes
d'Analyse Numérique
Certification de Programmes
d'Analyse Numérique

Dernière modification: 31.08.2009
Ce projet est maintenant terminé; il se poursuit avec FOST.

   Micaela Mayero, responsable du projet,  maître de conférence,   LIPN

   François Clément, chargé de recherche INRIA

   David Delahaye, maître de conférence,   CEDRIC

   Jean-Christophe Filliâtre, chargé de recherche CNRS,  LRI

   Sylvie Boldo, chargée de recherche INRIA,   LRI