MILI <br/><br/>
An introduction to formal program verification 
Ali Mili 
 - New York  Van Nonstrand Reinhold Company Limited  1985 
 - 291 p.  24 cm 
<br/><br/><label>ISBN: </label>442263228