What do you think?
Rate this book
Automated Technology for Verification and Analysis
432 pages, Paperback
Published October 17, 2009
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.