FM 2015: Formal methods : 20th international symposium, Oslo, Norway, June 24 - 26, 2015 ; proceedings / Nikolaj Bjørner ... (eds.). Cham [u.a.] : Springer, 2015