Antonio Cerone; Donatella Persico; Sara Fernandes; Alexeis Garcia-Perez; Panagiotis Katsaros; Siraj Ahmed Shaikh; Ioannis Stamelos
Tipo de Documento
Proceedings Paper
Year published
2014
Publicado
in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 7991 LNCS, Páginas: 121-132
Conference
10Th International Conference on Software Engineering and Formal Methods, Sefm 2012, 1St International Symposium on Insuedu 2012, 1St International Symposium on Mokmasd 2012, 6Th International Workshop on Foundations and Techniques for Opencert 2012, Date: 1 October 2012 through 5 October 2012, Location: Thessaloniki, Patrocinadores: EPY, Macedonia Thrace Chapter of the Greek Comput. Soc.;CITY College, CITY College, Int. Faculty of the;University of Sheffield;SEERC,The South-East European Research Centre;UNU-IIST, United Nations University, International;Institute for Software Technology
