Engineering methods and tools for software safety and security  [electronic resource] / 
[edited by] Manfred Broy, Wassiou Sitou, Tony Hoare. 
 - Washington, DC :  IOS Press,  2009. 
 - ix, 333 p. 
 - NATO science for peace and security series .
<br/><br/>Includes bibliographical references and index. 
<br/><br/><br/>Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. 
<br/><br/><label>ISBN: </label>
<br/><br/><label>Subjects--Topical Terms: </label><br/>Engineering--Data processing.<br/>Engineering--Methodology.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>TA345  / .E64 2009