Current trends in hardware verification and automated theorem proving 
ed. by G. Birtwistle and P. A. Subrahmanyam. 
 - New York  Springer-Verlag  1989 
 - viii, 489p. 
<br/><br/><label>ISBN: </label>0387969888 
<br/><br/><label>Dewey Class. No.: </label>621.395  / N89