Portrait de chercheur ou chercheuse, Recherche
Évelyne Contejean : Éviter les bugs informatiques
… CNRS au Laboratoire méthodes formelles (LMF – Univ. Paris-Saclay, CNRS, ENS Paris-Saclay, CentraleSupélec, Inria) . Elle est spécialiste de la … de recherche en informatique (LRI - CNRS, Univ. Paris-Saclay) et du Laboratoire spécification et vérification (LSV …
Published on: