Portrait de chercheur ou chercheuse, Recherche
Patricia Bouyer-Decitre : fiabiliser les logiciels critiques grâce aux mathématiques
… du Laboratoire méthodes formelles (LMF - Université Paris-Saclay, ENS Paris-Saclay, CNRS) . Son impressionnant parcours révèle une … Laboratoire spécification et vérification (LSV – Université Paris-Saclay, ENS Paris-Saclay, CNRS). « Durant cette …Article publié le: ven 23/04/2021 - 09:08