Portrait de chercheur ou chercheuse, Recherche
Évelyne Contejean : Éviter les bugs informatiques
… Évelyne Contejean s’implique ardemment dans la construction du Laboratoire méthodes formelles, dont elle devient la … chercheuses et chercheurs permanents issus principalement du Laboratoire de recherche en informatique (LRI - CNRS, … terminaison, qui garantit que le processus s’arrête en un temps fini. L’idée est de fournir à l’utilisateur final un …Article publié le: jeu 10/11/2022 - 15:47