Portrait de chercheur ou chercheuse, Recherche
Évelyne Contejean : Éviter les bugs informatiques
… Évelyne Contejean : Éviter les bugs informatiques Évelyne Contejean : Éviter les bugs informatiques … est directrice de recherche CNRS au Laboratoire méthodes formelles (LMF – Univ. Paris-Saclay, CNRS, ENS … processus. « Le principe est le suivant : quand je sais que deux expressions sont égales, je peux remplacer la "plus …Article publié le: