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 … Alt-Ergo ou la possibilité de faire ses preuves En 2011, Évelyne Contejean et ses collègues mettent au point un …Article publié le: