@article{Dongol_2024,
    title = {On Formal Methods Thinking in Computer Science Education},
    volume = {37},
    issn = {1433-299X},
    url = {http://dx.doi.org/10.1145/3670419},
    doi = {10.1145/3670419},
    number = {1},
    journal = {Formal Aspects of Computing},
    publisher = {Association for Computing Machinery (ACM)},
    author = {Dongol, Brijesh and Dubois, Catherine and Hallerstede, Stefan and Hehner, Eric and Morgan, Carroll and Müller, Peter and Ribeiro, Leila and Silva, Alexandra and Smith, Graeme and de Vink, Erik},
    year = {2024},
    month = {dec},
    pages = {1–23},
    date-added = {2026-2-10 17:16:10 +0100}
}

@article{Dongol_2024, title = {On Formal Methods Thinking in Computer Science Education}, volume = {37}, issn = {1433-299X}, url = {http://dx.doi.org/10.1145/3670419}, doi = {10.1145/3670419}, number = {1}, journal = {Formal Aspects of Computing}, publisher = {Association for Computing Machinery (ACM)}, author = {Dongol, Brijesh and Dubois, Catherine and Hallerstede, Stefan and Hehner, Eric and Morgan, Carroll and Müller, Peter and Ribeiro, Leila and Silva, Alexandra and Smith, Graeme and de Vink, Erik}, year = {2024}, month = {dec}, pages = {1–23}, date-added = {2026-2-10 17:16:10 +0100} }