✓

@book{Huisman_2023,
    title = {Concise Guide to Software Verification: From Model Checking to Annotation Checking},
    isbn = {9783031301674},
    issn = {1868-095X},
    url = {http://dx.doi.org/10.1007/978-3-031-30167-4},
    doi = {10.1007/978-3-031-30167-4},
    journal = {Texts in Computer Science},
    publisher = {Springer International Publishing},
    author = {Huisman, Marieke and Wijs, Anton},
    year = {2023},
    date-added = {2026-2-10 16:48:36 +0100}
}

@book{Huisman_2023, title = {Concise Guide to Software Verification: From Model Checking to Annotation Checking}, isbn = {9783031301674}, issn = {1868-095X}, url = {http://dx.doi.org/10.1007/978-3-031-30167-4}, doi = {10.1007/978-3-031-30167-4}, journal = {Texts in Computer Science}, publisher = {Springer International Publishing}, author = {Huisman, Marieke and Wijs, Anton}, year = {2023}, date-added = {2026-2-10 16:48:36 +0100} }