Sylvain Conchon

Sylvain Conchon

Books

Co-authored books and collections

Books that list Sylvain Conchon among their authors but not as the lead author: co-written works, collections and compilations.

Formal Methods and Software EngineeringMichael Butler

Formal Methods and Software Engineering

Michael Butler · 2015

Informatique - MP2I/MPI - CPGE 1re et 2e annéesThibaut Balabonski

Informatique - MP2I/MPI - CPGE 1re et 2e années

Thibaut Balabonski · 2022