CONTACT INFORMATION

Laboratoire Spécification & Vérification
CNRS, Inria & ENS Cachan/Université Paris Saclay

Address:

LSV, CNRS & ENS Cachan
61, avenue du Président Wilson
94235 Cachan Cedex

France

‚Äč

Office : RH-B-003

Phone: +33 (0)1 47 40 75 38

Fax: +33 (0)1 47 40 75 21

Secr.: +33 (0)1 47 40 75 20

E-Mail: bollig@lsv.ens-cachan.fr