Software and systems safety  specification and verification /  [electronic resource] : 
edited by Manfred Broy, Christian Leuxner and Tony Hoare. 
 - Amsterdam, The Netherlands :  IOS Press,  2011. 
 - ix, 285 p. :  ill. (some col.). 
 - NATO science for peace and security series.  Sub-series D,  Information and communication security,  v. 30  1874-6268 ; .
<br/><br/>Includes bibliographical references and indexes. 
<br/><br/><br/>Electronic reproduction. <br/>Palo Alto, Calif. : <br/>ebrary, <br/>2011. <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/>Software protection--Congresses.<br/>Computer software--Reliability--Congresses.<br/>Software engineering--Congresses.<br/>Computer security--Congresses.<br/>System safety--Congresses.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA76.76.P76  / S64 2011eb