@article{ter_Beek_2024,
    title = {The Role of Formal Methods in Computer Science Education},
    volume = {15},
    issn = {2153-2192},
    url = {http://dx.doi.org/10.1145/3702231},
    doi = {10.1145/3702231},
    number = {4},
    journal = {ACM Inroads},
    publisher = {Association for Computing Machinery (ACM)},
    author = {ter Beek, Maurice and Broy, Manfred and Dongol, Brijesh},
    year = {2024},
    month = {nov},
    pages = {58–66},
    date-added = {2026-2-10 17:19:33 +0100}
}

@article{ter_Beek_2024, title = {The Role of Formal Methods in Computer Science Education}, volume = {15}, issn = {2153-2192}, url = {http://dx.doi.org/10.1145/3702231}, doi = {10.1145/3702231}, number = {4}, journal = {ACM Inroads}, publisher = {Association for Computing Machinery (ACM)}, author = {ter Beek, Maurice and Broy, Manfred and Dongol, Brijesh}, year = {2024}, month = {nov}, pages = {58–66}, date-added = {2026-2-10 17:19:33 +0100} }