Software Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings - George Eleftherakis, Mike Hinchey, Mike Holcombe ((Lecture Notes in Computer Science))