Search Results for - Narrowed by: Giannakopoulou, Dimitra. editor.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qf$003dAUTHOR$002509Author$002509Giannakopoulou$00252C$002bDimitra.$002beditor.$002509Giannakopoulou$00252C$002bDimitra.$002beditor.$0026ps$003d300?
2024-09-13T06:01:43Z
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:484531
2024-09-13T06:01:43Z
2024-09-13T06:01:43Z
Author Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12154-3">https://doi.org/10.1007/978-3-319-12154-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485667
2024-09-13T06:01:43Z
2024-09-13T06:01:43Z
Author Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10431-7">https://doi.org/10.1007/978-3-319-10431-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197270
2024-09-13T06:01:43Z
2024-09-13T06:01:43Z
Author Giannakopoulou, Dimitra. editor. Méry, Dominique. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32759-9">http://dx.doi.org/10.1007/978-3-642-32759-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:194164
2024-09-13T06:01:43Z
2024-09-13T06:01:43Z
Author Giannakopoulou, Dimitra. editor. Orejas, Fernando. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19811-3">http://dx.doi.org/10.1007/978-3-642-19811-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>