TY  - RPRT
TI  - Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering -- A White Paper
AU  - Antonio Cerone
AU  - Markus Roggenbach
AU  - James Davenport
AU  - Casey Denner
AU  - Marie Farrell
AU  - Magne Haveraaen
AU  - Faron Moller
AU  - Philipp Koerner
AU  - Sebastian Krings
AU  - Peter Olveczky
AU  - Bernd-Holger Schlingloff
AU  - Nikolay Shilov
AU  - Rustam Zhumagambetov
PY  - 2020
UR  - https://arxiv.org/abs/2010.05708
ID  - 2010.05708
ER  -