Pradhan, D. K. <br/><br/>
Practical Design Verification 

 - Cambridge  Cambridge University Press  2009 
 - xi, 276p. 
<br/><br/><label>ISBN: </label>978-0-521-85972-1