Béatrice BérardMaître de conférences, ENS de Cachan |
Laboratoire Spécification et Vérification CNRS, UMR 8643 Ecole Normale Supérieure de Cachan 61, avenue du Président Wilson 94235 CACHAN Cedex Téléphone : +33 (0)1 47 40 24 28 Fax : +33 (0)1 47 40 24 64 Secrétariat : +33 (0)1 47 40 24 04 Mél : berard@lsv.ens-cachan.fr |