Alain Finkel

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 75 69
Fax : +33 (0)1 47 40 75 29
Secrétariat : +33 (0)1 47 40 75 20
Mél : finkel@lsv.ens-cachan.fr

WebMaster
Last modified: Fri Sep 5 15:53:13 CEST 2003