Isil Dillig

Isil Dillig

2 books in the database

Books

Computer Aided VerificationIsil Dillig

Computer Aided Verification

Isil Dillig · 2020

Verification, Model Checking, and Abstract InterpretationIsil Dillig

Verification, Model Checking, and Abstract Interpretation

Isil Dillig · 2018