Claudine PicaronnyMaître de conférences, ENS de CachanChercheur au LSV, enseignante au département de Mathématiques |
![]() |
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 93 Fax : +33 (0)1 47 40 28 64 Secrétariat : +33 (0)1 47 40 24 04 Mél : C.Picaronny@lsv.ens-cachan.fr |