Isil Dillig

Isil Dillig

2 ספרים במאגר

ספרים

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