Informatique - MP2I/MPI - CPGE 1re et 2e annéesThibaut Balabonski, Sylvain Conchon, Jean-Christophe Filliâtre, Kim Nguyen, Laurent Sartre · First published 2022Open the Tome
Formal Methods and Software EngineeringMichael Butler, Sylvain Conchon, Fatiha Zaïdi · First published 2007Open the Tome
