@misc{indiciae7eb9961fd85a,
  title = {Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering -- A White Paper},
  author = {Antonio Cerone and Markus Roggenbach and James Davenport and Casey Denner and Marie Farrell and Magne Haveraaen and Faron Moller and Philipp Koerner and Sebastian Krings and Peter Olveczky and Bernd-Holger Schlingloff and Nikolay Shilov and Rustam Zhumagambetov},
  year = {2020},
  url = {https://arxiv.org/abs/2010.05708},
  note = {Source identifier: 2010.05708}
}