Sylvain Conchon

1 published title

Formal methods and software engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings

(Contributor)

1 edition