HUISMAN, Marieke und WIJS, Anton, 2023. Concise Guide to Software Verification : From Model Checking to Annotation Checking. 1 st ed. 2023. Cham: Springer International Publishing. ISBN 9783031301674.
Elsevier - Harvard (with titles)Huisman, M., Wijs, A., 2023. Concise Guide to Software Verification : From Model Checking to Annotation Checking, 1 st ed. 2023. ed, Texts in Computer Science. Springer International Publishing, Cham. https://doi.org/10.1007/978-3-031-30167-4
American Psychological Association 7th editionHuisman, M., & Wijs, A. (ca. 2023). Concise Guide to Software Verification : From Model Checking to Annotation Checking [Cd]. In Texts in Computer Science (1 st ed. 2023). Springer International Publishing. https://doi.org/10.1007/978-3-031-30167-4
Springer - Basic (author-date)Huisman M, Wijs A (2023) Concise Guide to Software Verification : From Model Checking to Annotation Checking, 1 st ed. 2023. Springer International Publishing, Cham
Juristische Zitierweise (Stüber) (Deutsch)Huisman, Marieke/ Wijs, Anton, Concise Guide to Software Verification : From Model Checking to Annotation Checking, 1 st ed. 2023 , Cham 2023.