Sandip Ray <br/><br/>
Scalable Techniques for Formal Verification 

 -  Springer eBooks  2010 
<br/><br/><label>ISBN: </label>9781441959980