Showing 1 - 4 results of 4 for search 'Giannakopoulou, Dimitra', query time: 0.03s Refine Results
  1. 1
    Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings /
    Published 2011
    Other Authors: “…Giannakopoulou, Dimitra…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings /
    Published 2014
    Other Authors: “…Giannakopoulou, Dimitra…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers /
    Published 2014
    Other Authors: “…Giannakopoulou, Dimitra…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings /
    Published 2012
    Other Authors: “…Giannakopoulou, Dimitra…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search