You are about to access our book library "FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Programming and Software Engineering) full version" .