Portrait de chercheur ou chercheuse, Recherche
Patricia Bouyer-Decitre : fiabiliser les logiciels critiques grâce aux mathématiques
… Bouyer-Decitre est celui des méthodes formelles, au service de l’analyse de programmes informatiques, pour … Bouyer-Decitre est celui des méthodes formelles, au service de l’analyse de programmes informatiques, pour …
Published on: