Cita APA (7th ed.)

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

Cita Chicago (17th ed.)

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

Cita MLA (9th ed.)

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