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