FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - Bjørner, Nikolaj; de Boer, Frank (Springer International Publishing : Imprint: Springer, 2015)