Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper
| Date first appeared online | 11/03/2021 |
| DOI | 10.1007/978-3-030-71374-4_1 |
| Authors | Roggenbach M., Hopkins C., Moller F. |
| Journal Name | Communications in Computer and Information Science |
| Volume |