Bernstein <br/><br/>
Trustworthy Systems Through Quantitative Software Engineering 

 -  IEEE 
<br/><br/><label>ISBN: </label>9780471750338 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computing and Processing