Dimitra Giannakopoulou
Dimitra Giannakopoulou
4 ספרים במאגר
ספרים
Verified Software : Theories, Tools and ExperimentsDimitra Giannakopoulou
Verified Software : Theories, Tools and Experiments
Dimitra Giannakopoulou · 2014
Software Engineering and Formal MethodsDimitra Giannakopoulou
Software Engineering and Formal Methods
Dimitra Giannakopoulou · 2014
FM 2012: Formal MethodsDimitra Giannakopoulou
FM 2012: Formal Methods
Dimitra Giannakopoulou · 2012
Fundamental Approaches to Software EngineeringDimitra Giannakopoulou
Fundamental Approaches to Software Engineering
Dimitra Giannakopoulou · 2011