CONTACT INFORMATION

Laboratoire Spécification & Vérification
CNRS, ENS Paris-Saclay, Université Paris-Saclay

Address:

Benedikt Bollig

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

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