Ganai, Malay <br/><br/>
Sat-Based Scalable Format Verification Solutions 
by Malay Ganai 
 - New York  Springer  2007 
 - xxix, 326p. 
<br/><br/>Table of Contents<br/>1. Design Verificatio 
<br/><br/><label>ISBN: </label>0387691669 
<br/><br/><label>Dewey Class. No.: </label>511.8 GAN