Software safety and security
Software safety and security tools for analysis and verification / [electronic resource] :
edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.
- Washington, D.C. : IOS Press, 2012.
- ix, 387 p. : ill.
- NATO science for peace and security series. Sub-series D, Information and communication security, v. 33 1874-6268 ; .
- NATO science for peace and security series. Sub-series D, Information and communication security ; v. 33. .
"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.
Computer software--Verification--Congresses.
Computer security--Congresses.
Electronic books.
QA76.76.V47 / N38 2011eb
"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.
Computer software--Verification--Congresses.
Computer security--Congresses.
Electronic books.
QA76.76.V47 / N38 2011eb