TY  - BOOK
AU  - Gerard O' Regan
TI  - Concise guide to formal methods: theory, fundamentals and industry applications
SN  - 9783319640204 (pbk)
U1  - 005.131 
PY  - 2017///
CY  - Switzerland
PB  - Springer nature
KW  - Copmputer science
KW  - Software engineering
KW  - computer security
KW  - Modelling language
KW  - FC
N1  - Includes index
ER  -