Portrait de chercheur ou chercheuse, Recherche
Patricia Bouyer-Decitre : fiabiliser les logiciels critiques grâce aux mathématiques
… Patricia Bouyer-Decitre : fiabiliser les logiciels critiques grâce aux mathématiques … et directrice du Laboratoire méthodes formelles (LMF - Université Paris-Saclay, ENS Paris-Saclay, CNRS) . Son … Patricia Bouyer-Decitre : fiabiliser les logiciels critiques grâce aux …
Published on: