Integrated Formal Methods - Furia; Kirsten Winter; Winter, Kirsten (Springer International Publishing, 2018)