CerPAN
Certification of Numerical
Analysis Programs
Certification of Numerical
Analysis Programs

Last modified: 08.31.2009
This projet is now closed; it continue with FOST.

   Micaela Mayero, project leader,   lecturer,   LIPN

   François Clément, INRIA researcher

   David Delahaye, lecturer,   CEDRIC

   Jean-Christophe Filliâtre, CNRS researcher,  LRI

   Sylvie Boldo, INRIA researcher,   LRI