Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings - Einar Broch Johnsen, Luigia Petre ((Lecture Notes in Computer Science))