|
 
|
Dominique Méry
|
|
Publications
2015
- [DMM15] C. Dubois, P. Masci, D. Méry. "Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015", July 2015, EPTCS,
Directions d'ouvrages scientifiques
2014
- [DGM14] C. Dubois, D. Giannakopoulou, D. Méry. "Proceedings of the first workshop on Formal Integrated Development Environment, F-IDE 2014, ETAPS satellite event", April 2014, EPTCS,
