Formal methods of program verification and specification / 
H.K. Berg ... [et al.]. 
 - Englewood Cliffs, N.J. :  Prentice-Hall,  1982. 
 - xiv, 207 p.  ill. ;  24 cm. 
 - Prentice-Hall software series. .
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programs--Verification.<br/>Computer programs--Specifications.