Wang, Chao <br/><br/>
Abstraction Refinement for Large Scale Model Checking   
by Chao Wang, Gary Hachtel and Fabio Somenzi 
 - Berlin  Springer 
 - Lecture Notes in Computer Science .
<br/><br/><label>Dewey Class. No.: </label>003.5  /