Cezara Drăgoi

Books
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
2023
Static Analysis Static Analysis
Static Analysis
2021