Ray, Sandip. <br/><br/>
Scalable techniques for formal verification  [electronic resource] / 
by Sandip Ray. 
 - Boston, MA :  Springer Science+Business Media, LLC,  2010. 
 - xiv, 243 p. :  ill., digital ;  25 cm. 
<br/><br/><label>ISBN: </label>9781441959980 (electronic bk.) 9781441959973 (paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer systems--Verification.<br/>Automatic theorem proving.<br/>Formal methods (Computer science)<br/>Engineering.<br/>Circuits and Systems.<br/>Computer-Aided Engineering (CAD, CAE) and Design.
<br/><br/><label>LC Class. No.: </label>QA76.76.V47  / R39 2010 
<br/><br/><label>Dewey Class. No.: </label>004.151