Dimitra Giannakopoulou

Livres

NASA Formal Methods NASA Formal Methods
NASA Formal Methods
2020
Verified Software: Theories, Tools and Experiments Verified Software: Theories, Tools and Experiments
Verified Software: Theories, Tools and Experiments
2014
Fundamental Approaches to Software Engineering Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering
2011