TY  - BOOK
AU  - Nipkow,Tobias
AU  - Grumberg,Orna
AU  - Hauptmann,Benedikt
ED  - NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security
ED  - NATO Emerging Security Challenges Division.
ED  - ProQuest (Firm)
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,
AV  - QA76.76.V47 N38 2011
PY  - 2012///
CY  - Washington, D.C.
PB  - IOS Press
KW  - Computer software
KW  - Verification
KW  - Congresses
KW  - Computer security
KW  - Electronic books
N1  - "Published in cooperation with NATO Emerging Security Challenges Division."; "Proceedings of the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security, Bayrischzell, Germany, 2-14 August 2011"--T.p. verso; Includes indexes; Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries
UR  - https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=948331
ER  -