TY  - BOOK
AU  - Markus Roggenbach (editor)
TI  - Formal methods for software engineering: Language, methods, application domains
SN  - 978303088027 (pbk)
U1  - 005.1 
PY  - 2022///
CY  - Switzerland
PB  - Springer nature
KW  - Software engineering
KW  - Formal language
KW  - Application domains
KW  - Formal methods
KW  - Fc
KW  - Security protocols
N1  - Includes indexes
ER  -