Portrait de chercheur ou chercheuse, Recherche
Évelyne Contejean : Éviter les bugs informatiques
… Évelyne Contejean : Éviter les bugs informatiques Portrait de chercheur ou chercheuse Recherche Évelyne Contejean est … prenant au jeu, elle développe des preuves interactives de critères de terminaison dans l’assistant à la preuve Coq : « … prenant au jeu, elle développe des preuves interactives de critères de terminaison dans l’assistant à la preuve Coq : « …Article publié le: jeu 10/11/2022 - 15:47