CONTACT INFORMATION
Laboratoire Spécification & Vérification
CNRS, ENS Paris-Saclay, Université Paris-Saclay
Address:
Benedikt Bollig
ENS Paris-Saclay
LSV
4, avenue des Sciences
CS 30008
91192 Gif-sur-Yvette
France
Office : 2S60
Phone: +33 (0)1 47 40 75 38
Fax: +33 (0)1 47 40 75 21
E-Mail: bollig@lsv.ens-cachan.fr