Micheal G. Hinchey <br/><br/>
Applications Of Formal Methods 

 -   Prentice Hall  ©1995 
<br/><br/><label>ISBN: </label> 55.45 
<br/><br/><label>Dewey Class. No.: </label>004.21 HIN