Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings - Johnsen, Einar Broch; Petre, Luigia (Springer Berlin Heidelberg : Imprint: Springer, 2013)