@article{Gleirscher_2023,
    title = {A manifesto for applicable formal methods},
    volume = {22},
    issn = {1619-1374},
    url = {http://dx.doi.org/10.1007/s10270-023-01124-2},
    doi = {10.1007/s10270-023-01124-2},
    number = {6},
    journal = {Software and Systems Modeling},
    publisher = {Springer Science and Business Media LLC},
    author = {Gleirscher, Mario and van de Pol, Jaco and Woodcock, Jim},
    year = {2023},
    month = {aug},
    pages = {1737–1749},
    date-added = {2026-3-3 8:37:47 +0100}
}

@article{Gleirscher_2023, title = {A manifesto for applicable formal methods}, volume = {22}, issn = {1619-1374}, url = {http://dx.doi.org/10.1007/s10270-023-01124-2}, doi = {10.1007/s10270-023-01124-2}, number = {6}, journal = {Software and Systems Modeling}, publisher = {Springer Science and Business Media LLC}, author = {Gleirscher, Mario and van de Pol, Jaco and Woodcock, Jim}, year = {2023}, month = {aug}, pages = {1737–1749}, date-added = {2026-3-3 8:37:47 +0100} }