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. .
<br/><br/> "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. 
<br/><br/><br/>Electronic reproduction. <br/>Palo Alto, Calif. : <br/>ebrary, <br/>2013. <br/>Available via World Wide Web. <br/>Access may be limited to ebrary affiliated libraries. 
<br/><br/><label>ISBN: </label>
<br/><br/><label>LCCN: </label>
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Verification--Congresses.<br/>Computer security--Congresses.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA76.76.V47  / N38 2011eb