Dimitra Giannakopoulou profile picture

Dimitra Giannakopoulou

Is this your author profile? Create an account to customize it!

Stand Alone

FM 2012: Formal Methods
NASA Formal Methods 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
Verified Software : Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Fundamental Approaches to Software Engineering