|
 
|
Dimitra Giannakopoulou
|
Membre exterieur Laboratoire: NASA - ARC (US) |
Publications
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,
