@article{Woodcock_2009,
    title = {Formal methods: Practice and experience},
    volume = {41},
    issn = {1557-7341},
    url = {http://dx.doi.org/10.1145/1592434.1592436},
    doi = {10.1145/1592434.1592436},
    number = {4},
    journal = {ACM Computing Surveys},
    publisher = {Association for Computing Machinery (ACM)},
    author = {Woodcock, Jim and Larsen, Peter Gorm and Bicarregui, Juan and Fitzgerald, John},
    year = {2009},
    month = {oct},
    pages = {1–36},
    date-added = {2026-2-10 17:21:57 +0100}
}

@article{Woodcock_2009, title = {Formal methods: Practice and experience}, volume = {41}, issn = {1557-7341}, url = {http://dx.doi.org/10.1145/1592434.1592436}, doi = {10.1145/1592434.1592436}, number = {4}, journal = {ACM Computing Surveys}, publisher = {Association for Computing Machinery (ACM)}, author = {Woodcock, Jim and Larsen, Peter Gorm and Bicarregui, Juan and Fitzgerald, John}, year = {2009}, month = {oct}, pages = {1–36}, date-added = {2026-2-10 17:21:57 +0100} }