Author

Cezara Dragoi

2 books found

Cover of Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Cezara Dragoi, Michael Emmi, Jingbo Wang · First published 2023

Cover of Static Analysis

Static Analysis

Cezara Dragoi, Suvam Mukherjee, Kedar Namjoshi · First published 2021