Nathalie BERTRAND

PhD Student

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 40
Fax :+33 (0)1 47 40 75 21
Secr. :+33 (0)1 47 40 75 20
E-Mail :bertrand@lsv.ens-cachan.fr
Office :RH-B-103
 Nathalie BERTRAND
I am now a full-time INRIA researcher at IRISA which hosts my new webpage.

About LSV