Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
Home
>
Authors
> Ruzica Piskac
Ruzica Piskac
All books by Ruzica Piskac
(
Displaying 2 Books
)
Verification, Model Checking, and Abstract Interpretation
Constantin Enea
Verified Software. Theories, Tools, and Experiments
Ruzica Piskac
Looking for another book by Ruzica Piskac?
Search for the book
by title.