It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by ImportBot
February 27, 2022
Edit
History of edits to

Verification, Model Checking, and Abstract Interpretation

Revision When Who Comment Diff
1 February 27, 2022
ImportBot
 import new book