
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 81 87 54 32
E-Mail: bollig@lsv.ens-cachan.fr