Mili, Ali <br/><br/>
An introduction to formal program verification   
by Ali Mili 
 - New York  Van Nostrand Reinhold Company  1985 
 - xii, 291p. 
<br/><br/><label>ISBN: </label>0442263228 
<br/><br/><label>Dewey Class. No.: </label>001.642  / N8524