François Laroussinie
Maître de conférences, ENS de Cachan
François LaroussinieMaître de conférences, ENS de Cachan |
|
|
Laboratoire Spécification & 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 23 74 Fax : +33 (0)1 47 40 28 65 Secretary : +33 (0)1 47 40 24 04 E-mail : fl@lsv.ens-cachan.fr |
 |