Serge Haddad
ENS Cachan, Laboratoire Spécification et Vérification, CNRS UMR 8643
École Normale Supérieure de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex
France

Phone: +33 (0)1 47 40 75 24
Fax: +33 (0)1 47 40 75 21
E-mail: haddad (AT) lsv.ens-cachan.fr
Web: http://www.lsv.ens-cachan.fr/~haddad/