20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
FM 2015: Formal Methods, Nikolaj Bjørner