Software safety and security :  tools for analysis and verification / 
edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann 
 - Washington, DC :  IOS Press published in cooperation with NATO Emerging Security Challenges Division,  2012 
 - ix, 387 p. :  ill. ;  25 cm. 
 - NATO science for peace and security series. Sub-series D: Information and communication security .
<br/><br/>Includes bibliographical references and indexes 
<br/><br/><label>ISBN: </label>9781614990277 1614990271 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Verification--Congresses<br/>Computer security--Congresses<br/>Computer security--Congresses