Bernd Westphal. On Complementing an Undergraduate Software Engineering Course with Formal Methods. In Marian Daun, Elke Hochmüller, Stephan Krusche, Bernd Brügge, Bastian Tenbergen, editors, 32nd IEEE Conference on Software Engineering Education and Training, CSEE&T 2020, Virtual Conference, Germany, November 9-12, 2020. pages 1-10, IEEE, 2020. [doi]
Abstract is missing.