@article{Broy_2024,
    title = {Does Every Computer Scientist Need to Know Formal Methods?},
    volume = {37},
    issn = {1433-299X},
    url = {http://dx.doi.org/10.1145/3670795},
    doi = {10.1145/3670795},
    number = {1},
    journal = {Formal Aspects of Computing},
    publisher = {Association for Computing Machinery (ACM)},
    author = {Broy, Manfred and Brucker, Achim D. and Fantechi, Alessandro and Gleirscher, Mario and Havelund, Klaus and Kuppe, Markus Alexander and Mendes, Alexandra and Platzer, André and Ringert, Jan Oliver and Sullivan, Allison},
    year = {2024},
    month = {dec},
    pages = {1–17},
    date-added = {2026-2-10 17:14:41 +0100}
}

@article{Broy_2024, title = {Does Every Computer Scientist Need to Know Formal Methods?}, volume = {37}, issn = {1433-299X}, url = {http://dx.doi.org/10.1145/3670795}, doi = {10.1145/3670795}, number = {1}, journal = {Formal Aspects of Computing}, publisher = {Association for Computing Machinery (ACM)}, author = {Broy, Manfred and Brucker, Achim D. and Fantechi, Alessandro and Gleirscher, Mario and Havelund, Klaus and Kuppe, Markus Alexander and Mendes, Alexandra and Platzer, André and Ringert, Jan Oliver and Sullivan, Allison}, year = {2024}, month = {dec}, pages = {1–17}, date-added = {2026-2-10 17:14:41 +0100} }