Computer Aided Verification
Isil Dillig
Paperback
Not Available
Verification, Model Checking, and Abstract Interpretation