Dimitra Giannakopoulou
4 published titles
Fundamental Approaches to Software Engineering : 14th international conference, FASE 2011, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Ge
(Contributor)
1 edition
- ISBN: 9783642198106
- Springer
- 2011
- Details
FM 2012 : Formal Methods : 18th International Symposium, Paris, France, August 27-31 2012 : proceedings
(Contributor)
1 edition
- ISBN: 9783642327582
- Springer
- 2012
- Details
Software engineering and formal methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, proceedings
(Contributor)
1 edition
- ISBN: 9783319104300
- Springer
- 2014
- Details
Verified software : theories, tools and experiments : 6th international conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783319121543
- Springer
- 2014
- Details
