Software engineering and formal methods : 10th international conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings - George Eleftherakis, editor (Springer-Verlag, 2012)