Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering -- A White Paper

Antonio Cerone, Markus Roggenbach, James Davenport +10

This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, i…