FM 2015: Formal Methods - Bjørner; Bjørner, Nikolaj; de Boer, Frank (Springer International Publishing, 2015)