| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings | 978-3-642-32758-2 | 2012 | Dimitra Giannakopoulou · Dominique Mery |
| Integrated Formal Methods: 8th International Conference, I.F.M. 2010, Nancy, France, October 11-14, 2010, Proceedings | 978-3-642-16264-0 | 2010 | Dominique Mery · Stephan Merz |
| Integrated Formal Methods | 978-3-642-16266-4 | 2011 | |
| Model and Data Engineering: 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings | 978-3-030-00855-0 | 2018 | El Hassan Abdelwahed · Ladjel Bellatreche · Mattéo Golfarelli · Carlos Ordonez |
| Theoretical Aspects of Computing - ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings | 978-3-319-10881-0 | 2014 | Gabriel Ciobanu |
D. M. · Domenico Mario · Domenico Moro · Domingo Mery · Dominic Moreo · Dominicus Mayr · Dominicus Meier · Dominik Maier · Dominik Mayer · Dominik Meier · Dominik Meyer · Dominique Marie · Dominique Meier · Dominique Meyer · Dominique Mora · Dominique Moreau