14 citations · 17 across the 4 of their papers we have counts for
1 paper · 1 filter
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…