Software Engineering and Formal Methods - Camara; Steffen, Martin (Springer International Publishing, 2020)