activity
20182022
most citedTowards platform-independent verification of the standard mathematical functions: the square root function

2 citations · 3 across the 4 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2020

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…