Metric Driven Design Verification May 2007 ISBN 0387381511 View on Amazon Lists featuring this book (2)