I

Isil Dillig

2 books found

Books by Isil Dillig
Computer Aided VerificationIsil Dillig
⏱ 9h 29m

Computer Aided Verification

Isil Dillig

2019569 pp.
Verification, Model Checking, and Abstract InterpretationIsil Dillig
⏱ 9h 18m

Verification, Model Checking, and Abstract Interpretation

Isil Dillig

2018558 pp.