TY  - BOOK
AU  - Huisman, Marieke
AU  - Hazzan, Orit
AU  - Wijs, Anton
TI  - Concise guide to software verification: from model checking to annotation checking
SN  - 9783031301667
U1  - 658.5 HUI 
PY  - 2023///
CY  - Switzerland
PB  - Springer
KW  - Formal methods
KW  - Model checking
KW  - Software verification
ER  -