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