Researcher portraits, Research
Évelyne Contejean: Avoiding computer bugs
… at the Formal Methods Laboratory (LMF - Univ. Paris-Saclay, CNRS, ENS Paris-Saclay, CentraleSupélec, Inria) . She specialises in … Laboratory for Computer Science (LRI - CNRS, Univ. Paris-Saclay) and the Specification and Verification Laboratory …Published on: Thu 10/11/2022 - 15:47