You are about to access our book library "Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings (Programming and Software Engineering) full version" .