TY  - GEN
DO  - 10.1007/978-3-319-64021-1
DO  - doi
T1  - Concise guide to formal methods :theory, fundamentals and industry applications /
AU  - O'Regan, Gerard
CN  - QA76.9.F67
ID  - 798162
KW  - Formal methods (Computer science)
SN  - 9783319640211
SN  - 3319640216
TI  - Concise guide to formal methods :theory, fundamentals and industry applications /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-64021-1
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-64021-1
ER  -