Philippe Moireau
Code ISNI : 0000 0001 1484 4747
Code ORCID : 0000-0001-9996-5213
https://pages.saclay.inria.fr/philippe.moireau/
Inria Saclay-Ile de France
ENS Paris-Saclay
Laboratoire Spécification et Vérification