Dominique Méry
2 published titles
FM 2012 : Formal Methods : 18th International Symposium, Paris, France, August 27-31 2012 : proceedings
(Contributor)
1 edition
- ISBN: 9783642327582
- Springer
- 2012
- Details
Theoretical aspects of computing -- ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014, proceedings
(Contributor)
1 edition
- ISBN: 9783319108810
- Springer
- 2014
- Details
