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  - ebrary, Inc.
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 2011eb
PY  - 2012///
CY  - Washington, D.C.
PB  - IOS Press
KW  - Computer software
KW  - Verification
KW  - Congresses
KW  - Computer security
KW  - Electronic books
KW  - local
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; Palo Alto, Calif.; ebrary; 2013; Available via World Wide Web; Access may be limited to ebrary affiliated libraries
UR  - http://site.ebrary.com/lib/strathmore/Doc?id=10574718
ER  -