TY  - BOOK
AU  - O'Regan,Gerard
TI  - Concise guide to formal methods: Theory, Fundamentals and Industry Application
SN  - 9783319640204
AV  - QA76.9 F67 O74 2017
PY  - 2017///
CY  - New York, NY
PB  - Springer Berlin Heidelberg
KW  - Formal methods (Computer science)
N1  - Includes bibliographical references and index
ER  -