Margaria,T(ed) <br/><br/>
Correct Hardware design and verification methods / 
Margaria,T(ed). 
 - 11th IFIP 10.5 Advan 
 - Berlin:  Springer,  2001. 
 - xii,481p;23cm 
 - LNCS 2144 .
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>3540425411 
<br/><br/><label>Dewey Class. No.: </label>004 LEC