MPG.eBooks - Author Search Results

Cover Image

1

Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Published 2014

Springer International Publishing

Other Authors: “...Giannakopoulou, Dimitra...”

Cover Image

2

Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Published 2014

Springer International Publishing

Other Authors: “...Giannakopoulou, Dimitra...”

Cover Image

3

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 2...

Published 2011

Springer Berlin Heidelberg

Other Authors: “...Giannakopoulou, Dimitra...”

Cover Image

4

FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Published 2012

Springer Berlin Heidelberg

Other Authors: “...Giannakopoulou, Dimitra...”

Cover Image

5

NASA Formal Methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

Published 2020

Springer International Publishing

Other Authors: “...Giannakopoulou, Dimitra...”