Program verification / 
Francez,Nissim 
 - Workingham :  Addison-Wesley,  c1992 
 - xi,312p.:  ill.;  25cm.  It includes bibliographical references and indexes 
<br/><br/><label>ISBN: </label>0 201 41608 5 
<br/><br/><label>Subjects--Personal Names: </label>--Computer programs
<br/><br/><label>Dewey Class. No.: </label>005.14 FRA