Roggenbach, M., Cerone, A., Davenport, J., Hopkins, C., Farrell, M., Haveraaen, M., . . . Zhumagambetov, R. (2021). Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper. Communications in Computer and Information Science, pp. 1-26. doi:10.1007/978-3-030-71374-4_1
Chicago Style CitationRoggenbach, Markus, et al. "Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper." Communications in Computer and Information Science 2021: 1-26.
MLA CitationRoggenbach, Markus, et al. "Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper." Communications in Computer and Information Science 2021: 1-26.