Software engineering and formal methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings / - Eleftherakis, George.; Hinchey, Michael G.; Holcombe, W. M. L. (Springer,)