TY  - BOOK
AU  - Hamilton B. Carter, Shankar Hemmady
TI  - Metric- Driven Design Verification
SN  - 9780387381527
PY  - 2014///
CY  - Germany
PB  - Springer
KW  - Metric- Driven Design Verification
UR  - http://link.springer.com/book/10.1007/978-0-387-38152-7
ER  -