Drechsler, Rolf <br/><br/>
Test pattern generation using boolean proof engines 

 - Dordrecht  Springer  2009 
 - xii, 192 p. 
<br/><br/> 1632 21/08/2014 IBS77 22/08/2014 Main Budget 
<br/><br/><label>ISBN: </label> EUR114.99 
<br/><br/><label>Dewey Class. No.: </label>629.8 D811T