Formal Methods and Agile Development: Towards a Happy Marriage

Carlo Ghezzi. Formal Methods and Agile Development: Towards a Happy Marriage. In Volker Gruhn, RĂ¼diger Striemer, editors, The Essence of Software Engineering. pages 25-36, Springer, 2018. [doi]

Abstract

Abstract is missing.