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