@article{Clarke_1996,
    title = {Formal methods: state of the art and future directions},
    volume = {28},
    issn = {1557-7341},
    url = {http://dx.doi.org/10.1145/242223.242257},
    doi = {10.1145/242223.242257},
    number = {4},
    journal = {ACM Computing Surveys},
    publisher = {Association for Computing Machinery (ACM)},
    author = {Clarke, Edmund M. and Wing, Jeannette M.},
    year = {1996},
    month = {dec},
    pages = {626–643},
    date-added = {2026-2-10 17:28:8 +0100}
}

@article{Clarke_1996, title = {Formal methods: state of the art and future directions}, volume = {28}, issn = {1557-7341}, url = {http://dx.doi.org/10.1145/242223.242257}, doi = {10.1145/242223.242257}, number = {4}, journal = {ACM Computing Surveys}, publisher = {Association for Computing Machinery (ACM)}, author = {Clarke, Edmund M. and Wing, Jeannette M.}, year = {1996}, month = {dec}, pages = {626–643}, date-added = {2026-2-10 17:28:8 +0100} }