Cezara Dragoi

Cezara Dragoi

2 books in the database

Books

Static AnalysisCezara Dragoi

Static Analysis

Cezara Dragoi · 2021

Verification, Model Checking, and Abstract InterpretationCezara Dragoi

Verification, Model Checking, and Abstract Interpretation

Cezara Dragoi · 2023