FM 2015 Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / - Bjørner, Nikolaj. (Springer International Publishing,)