Software and systems safety :  specification and verification / 
edited by Manfred Broy, Christian Leuxner and Tony Hoare 
 - Amsterdam :  IOS Press,  2011 
 - ix, 285 p. :  ill. ;  25 cm. 
 - NATO science for peace and security series:  Sub-series D:  Information and communication security,  vol. 30  1874-6268 ; .
 - NATO science for peace and security series:  Sub-series D:  Information and communication security,  vol. 30 .
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9781607507109 1607507102 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer security--Congresses<br/>Computer software--Verification--Congresses<br/>Software engineering--Congresses