"Andrews, Jason R." <br/><br/>
Co-Verification of Hardware And Software 

 - 
 -  Elsevier 
<br/><br/><label>Dewey Class. No.: </label>005.14