Software Engineering and Formal Methods - de Boer; Cerone, Antonio (Springer International Publishing, 2020)