M. Broy-D. Peled-G. Kalus <br/><br/>
Engineering Dependable Software Systems 

 -  IOS Press  2013 
 - NATO Science for Peace and Security Series. Sub-series D, Information and Communication Security .
<br/><br/><label>ISBN: </label>9781614992066 
<br/><br/><label>Subjects--Topical Terms: </label><br/> General<br/> Software Development & Engineering <br/>Computer software--Verification--Congresses.,Computer systems--Verification--Congresses.<br/>COMPUTERS