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 Patricia Bouyer-Decitre : fiabiliser les logiciels critiques grâce aux … Recherche Patricia Bouyer-Decitre est chercheuse en informatique dans le domaine des méthodes formelles, et …Article publié le: