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