| by | ||
|
Geoff Sutcliffe University of Miami, USA |
Frédéric Blanqui Université Paris-Saclay, ENS Paris-Saclay, CNRS, INRIA, Laboratoire Méthodes Formelles, France |
Guillaume Burel Laboratoire Samovar École Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise, France |