Cezara Dragoi

Cezara Dragoi

2 ספרים במאגר

ספרים

Static AnalysisCezara Dragoi

Static Analysis

Cezara Dragoi · 2021

Verification, Model Checking, and Abstract InterpretationCezara Dragoi

Verification, Model Checking, and Abstract Interpretation

Cezara Dragoi · 2023