TY  - BOOK
AU  - Núñez,Manuel
AU  - Güdemann,Matthias
TI  - Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings 
SN  - 9783319194585
PY  - 2015///
CY  - Cham
PB  - Springer International Publishing
KW  - Computer science
KW  - Special purpose computers
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computer logic
KW  - Mathematical logic
N1  - Applications.- Protocols -- Specification and analysis -- Verification
UR  - http://dx.doi.org/10.1007/978-3-319-19458-5
ER  -