Stéphane Le Roux
Mail: rf.yalcas-sirap-sne@xuor_el.enahpets
Office: 2S56, Building ENS - North
Laboratoire Méthodes Formelles (LMF)
Université Paris-Saclay, CNRS, ENS Paris-Saclay
4 avenue des Sciences • 91190 Gif-sur-Yvette, France
Mail: rf.yalcas-sirap-sne@xuor_el.enahpets
Office: 2S56, Building ENS - North
Laboratoire Méthodes Formelles (LMF)
Université Paris-Saclay, CNRS, ENS Paris-Saclay
4 avenue des Sciences • 91190 Gif-sur-Yvette, France