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