March 11, 2021
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper
Authors
Antonio Cerone, Markus Roggenbach, James Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Körner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov
Venue
FMFun 2019
Bibtex
@InProceedings(fmfun-whitepaper,
Author = {Antonio Cerone and Markus Roggenbach and James Davenport and Casey Denner and Marie Farrell and Magne Haveraaen and Faron Moller and Philipp Körner and Sebastian Krings and Peter Olveczky and Bernd-Holger Schlingloff and Nikolay Shilov and Rustam Zhumagambetov},
Title = {{Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering -- A White Paper}},
Booktitle = {Proceedings FMFun (International Workshop on Formal Methods - Fun for Everybody) 2019},
Year = 2021,
Series = {CCIS},
Volume = 1301,
Publisher = {Springer}
)
