Giannakopoulou, Dimitra books & textbook
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings (Programming and Software Engineering)
Giannakopoulou, Dimitra Salaün, Gwen
Springer /2014-08-04 Paperback / 416 Pages
isbn-10: 3319104306 / isbn-13: 9783319104300
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Programming and Software Engineering)
Giannakopoulou, Dimitra Kroening, Daniel
Springer /2014-10-28 Paperback / 297 Pages
isbn-10: 3319121537 / isbn-13: 9783319121536
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings (Lecture Notes in Computer Science, 7436)
Giannakopoulou, Dimitra Mery, Dominique
Springer /2012-07-21 Paperback / 504 Pages
isbn-10: 3642327583 / isbn-13: 9783642327582
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings (Programming and Software Engineering)
Lee, Ritchie Jha, Susmit Mavridou, Anastasia Giannakopoulou, Dimitra
Springer /2020-08-09 Paperback / 468 Pages
isbn-10: 3030557537 / isbn-13: 9783030557539
Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and ... (Lecture Notes in Computer Science, 6603)
Giannakopoulou, Dimitra Orejas, Fernando
Springer /2011-03-22 Paperback / 477 Pages
isbn-10: 3642198104 / isbn-13: 9783642198106
Automated Test Case Generation for an Autopilot Requirement Prototype
Giannakopoulou, Dimitra Nasa Technical Reports Server (Ntrs) Et Al
BiblioGov /2013-06-27 Paperback / 24 Pages
isbn-10: 1289118566 / isbn-13: 9781289118563
