APPLIED <br/><br/>
Applied Formal Methods FM-tRENDS 98 

 - New York  New York 
 -  576 
<br/><br/><label>ISBN: </label>03029743 
<br/><br/><label>Dewey Class. No.: </label>005.13