Sylvain ConchonBooksFormal Methods and Software EngineeringInformatique - MP2I/MPI - CPGE 1re et 2e annéesAuthor data: Open Library