@article{Gleirscher_2020,
    title = {Formal methods in dependable systems engineering: a survey of professionals from Europe and North America},
    volume = {25},
    issn = {1573-7616},
    url = {http://dx.doi.org/10.1007/s10664-020-09836-5},
    doi = {10.1007/s10664-020-09836-5},
    number = {6},
    journal = {Empirical Software Engineering},
    publisher = {Springer Science and Business Media LLC},
    author = {Gleirscher, Mario and Marmsoler, Diego},
    year = {2020},
    month = {sep},
    pages = {4473–4546},
    date-added = {2026-2-10 17:23:40 +0100}
}

@article{Gleirscher_2020, title = {Formal methods in dependable systems engineering: a survey of professionals from Europe and North America}, volume = {25}, issn = {1573-7616}, url = {http://dx.doi.org/10.1007/s10664-020-09836-5}, doi = {10.1007/s10664-020-09836-5}, number = {6}, journal = {Empirical Software Engineering}, publisher = {Springer Science and Business Media LLC}, author = {Gleirscher, Mario and Marmsoler, Diego}, year = {2020}, month = {sep}, pages = {4473–4546}, date-added = {2026-2-10 17:23:40 +0100} }