APA (7th ed.) Citation

Huisman, M., & Wijs, A. (2023). Concise Guide to Software Verification: From Model Checking to Annotation Checking (1st ed. 2023.). Springer International Publishing. https://doi.org/10.1007/978-3-031-30167-4

Chicago Style (17th ed.) Citation

Huisman, Marieke, and Anton Wijs. Concise Guide to Software Verification: From Model Checking to Annotation Checking. 1st ed. 2023. Cham: Springer International Publishing, 2023. https://doi.org/10.1007/978-3-031-30167-4.

MLA (9th ed.) Citation

Huisman, Marieke, and Anton Wijs. Concise Guide to Software Verification: From Model Checking to Annotation Checking. 1st ed. 2023. Springer International Publishing, 2023. https://doi.org/10.1007/978-3-031-30167-4.