Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
Home
>
Authors
> Isil Dillig
Isil Dillig
All books by Isil Dillig
(
Displaying 2 Books
)
Computer Aided Verification
Isil Dillig
Verification, Model Checking, and Abstract Interpretation
Isil Dillig
Looking for another book by Isil Dillig?
Search for the book
by title.