FM 2015: Formal methods : 20th international symposium, Oslo, Norway, June 24 - 26, 2015 ; proceedings / Nikolaj Bjørner ...

(eds.)