TY  - BOOK
AU  - Nipkow,Tobias
AU  - Grumberg,Orna
AU  - Hauptmann,Benedikt
TI  - Software safety and security: tools for analysis and verification 
T2  - NATO science for peace and security series. Sub-series D: Information and communication security
SN  - 9781614990277
PY  - 2012///
CY  - Washington, DC
PB  - IOS Press published in cooperation with NATO Emerging Security Challenges Division
KW  - Computer software
KW  - Verification
KW  - Congresses
KW  - Computer security
N1  - Includes bibliographical references and indexes
ER  -