Backhouse, Roland C. <br/><br/>
Program construction and verification. 

 - Englewood Cliffs :  Prentice Hall - International,  1986. 
 - xi, 281 pages. 
 - (Prentice Hall International Series In Computer Science ) .
<br/><br/> Includes index. 
<br/><br/><label>ISBN: </label>0137291469 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programs.<br/>Computer programs--Validation.<br/>Computer software--Validation.