Software Engineering and Formal Methods - Radu Calinescu, Corina S. P?s?reanu (Springer, 2021)