Barbara Jobstmann

Barbara Jobstmann

1 ספרים במאגר

ספרים

Verification, Model Checking, and Abstract InterpretationBarbara Jobstmann

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann · 2015