You are about to access our book library "Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings (Lecture Notes in Computer Science Book 7940) full version" .