Concise Guide to Software Verification: From Model Checking to Annotation Checking

MLA

Marieke Huisman, and Anton Wijs. Concise Guide to Software Verification: From Model Checking to Annotation Checking. Springer Nature (Textbooks & Major Reference Works), 2023.

APA

Marieke Huisman, M. Huisman, & Wijs, A. (2023). Concise Guide to Software Verification: From Model Checking to Annotation Checking. Springer Nature (Textbooks & Major Reference Works).

Chicago

Marieke Huisman, and Anton Wijs. Concise Guide to Software Verification: From Model Checking to Annotation Checking. : Springer Nature (Textbooks & Major Reference Works), 2023.