TY  - BOOK
AU  - Roggenbach, Markus
TI  - Formal Methods for Software Engineering: languages, methods, application domains 
SN  - 9783030387990
AV  - QA76.9 .R733 2022
PY  - 2022///
CY  - Switzerland
PB  - Springer
ER  -