Jayaswal, Bijay K. <br/><br/>
Design for trustworthy software :  tools, techniques, and methodology of developing robust software / 
Bijay K. Jayaswal, Peter C. Patton 
 - Upper Saddle River, NJ :  Prentice Hall,  2007 
 - 798 p. :  ill. ;  24 cm. 
<br/><br/><label>ISBN: </label>0131872508 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Reliability<br/>Computer software--Quality control<br/>Computer software--Development