Hoare, C. A. R.-Sitou, Wassiou.-Broy, M. <br/><br/>
Engineering Methods and Tools for Software Safety and Security 

 -  IOS Press  2009 
 - NATO Science for Peace and Security Series. D, Information and Communication Security .
<br/><br/><label>ISBN: </label>9781441616135 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer security--Congresses.,Software engineering--Congresses.
<br/><br/><label>Subjects--Index Terms: </label>COMPUTERS / Software Development & Engineering / General 
<br/><br/><label>LC Class. No.: </label>QA76.758 .N3846 2008eb 
<br/><br/><label>Dewey Class. No.: </label>5.1