TY  - BOOK
A2  - ed. by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.
A3  - Nipkow, Tobias
A3  - Grumberg, Orna.
A3  - Hauptmann, Benedikt.
NV  - IX, 387 s. :
PY  - 2012
SN  - 9781614990277
SN  - 9781614990284
TI  - Software safety and security : tools for analysis and verification /
VL  - vol. 33
ER  -