Name:Vincent Lafeychine

Country:France

Affiliation:Université Paris-Saclay, CNRS, ENS Paris-Saclay, INRIA, Laboratoire Méthodes Formelles, 91190, Gif-sur-Yvette, France.