Hamilton B. Carter, Shankar Hemmady <br/><br/>
Metric- Driven Design Verification 

 - Germany  Springer  2014 
<br/><br/><label>ISBN: </label>9780387381527 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Metric- Driven Design Verification