@inbook{Garavel_2020,
    title = {The 2020 Expert Survey on Formal Methods},
    isbn = {9783030582982},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-030-58298-2_1},
    doi = {10.1007/978-3-030-58298-2_1},
    booktitle = {Formal Methods for Industrial Critical Systems},
    publisher = {Springer International Publishing},
    author = {Garavel, Hubert and ter Beek, Maurice H. and van de Pol, Jaco},
    year = {2020},
    pages = {3–69},
    date-added = {2026-2-10 17:25:36 +0100}
}

@inbook{Garavel_2020, title = {The 2020 Expert Survey on Formal Methods}, isbn = {9783030582982}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-030-58298-2_1}, doi = {10.1007/978-3-030-58298-2_1}, booktitle = {Formal Methods for Industrial Critical Systems}, publisher = {Springer International Publishing}, author = {Garavel, Hubert and ter Beek, Maurice H. and van de Pol, Jaco}, year = {2020}, pages = {3–69}, date-added = {2026-2-10 17:25:36 +0100} }