|
|||||||
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 |