Releases by Dimitra Giannakopoulou

In stock at iMusic Show unavailable items

Cover for Dimitra Giannakopoulou · Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2014 edition] (2014)

Verified Software: Theories, Too... (2014)

Dimitra Giannakopoulou

Cover for Dimitra Giannakopoulou · Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings - Programming and Software Engineering (Paperback Book) [2014 edition] (2014)

Software Engineering and Formal ... (2014)

Dimitra Giannakopoulou

Cover for Dimitra Giannakopoulou · FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings - Lecture Notes in Computer Science (Paperback Book) [2012 edition] (2012)

FM 2012: Formal Methods: 18th In... (2012)

Dimitra Giannakopoulou