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