TY  - BOOK
TI  - Formal methods for software engineering : languages, methods, application domains
SN  - 9783030388027 (pbk)
U1  - 005.1 
PY  - 2022///
CY  - Switzerland
PB  - Springer Nature
KW  - Software Engineering
KW  - Formal languages
KW  - Computer interaction
KW  - Security protocols
KW  - Application domains
KW  - FC
N1  - Text in theoretical computer science.
an EATCS series; Includes appendices and index.
ER  -