What do you think?
Rate this book
Verification, Model Checking, and Abstract Interpretation
396 pages, Paperback
Published March 16, 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.