Anderson, Robert Brockett,  1941-. <br/><br/>
Proving programs correct / 
Robert B. Anderson. 
 - New York :  Wiley,  c1979. 
 - viii, 184 p. :  ill. ;  23 cm. 
<br/><br/> Includes index. 
<br/><br/>Bibliography: p. 170-182. 
<br/><br/><label>ISBN: </label>0471033952 
<br/><br/><label>LCCN: </label>78009321 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programs--Testing.<br/>Debugging in computer science.
<br/><br/><label>LC Class. No.: </label>QA76.6  / .A47 
<br/><br/><label>Dewey Class. No.: </label>001.6/425