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 Phone : +33 (0)1 47 40 24 28 Fax : +33 (0)1 47 40 24 64 Secretary : +33 (0)1 47 40 24 04 E-mail : berard@lsv.ens-cachan.fr |