✓

@book{Roggenbach_2022,
    title = {Formal Methods for Software Engineering: Languages, Methods, Application Domains},
    isbn = {9783030388003},
    issn = {1862-4502},
    url = {http://dx.doi.org/10.1007/978-3-030-38800-3},
    doi = {10.1007/978-3-030-38800-3},
    journal = {Texts in Theoretical Computer Science. An EATCS Series},
    publisher = {Springer International Publishing},
    author = {Roggenbach, Markus and Cerone, Antonio and Schlingloff, Bernd-Holger and Schneider, Gerardo and Shaikh, Siraj Ahmed},
    year = {2022},
    date-added = {2026-2-10 16:57:29 +0100}
}

@book{Roggenbach_2022, title = {Formal Methods for Software Engineering: Languages, Methods, Application Domains}, isbn = {9783030388003}, issn = {1862-4502}, url = {http://dx.doi.org/10.1007/978-3-030-38800-3}, doi = {10.1007/978-3-030-38800-3}, journal = {Texts in Theoretical Computer Science. An EATCS Series}, publisher = {Springer International Publishing}, author = {Roggenbach, Markus and Cerone, Antonio and Schlingloff, Bernd-Holger and Schneider, Gerardo and Shaikh, Siraj Ahmed}, year = {2022}, date-added = {2026-2-10 16:57:29 +0100} }