Software Engineering and Formal Methods - Cimatti, Alessandro (Springer International Publishing, 2020)