Cezara Dragoi

No bio available. Add one in Open Library.

Books by Cezara Dragoi (50 max)

+ shelf+ list

Static Analysis 28th International Symposium, SAS 2021, Chicago, il, USA, October 17-19, 2021, Proceedings

2021

Cezara Dragoi, Suvam Mukherjee, Kedar Namjoshi

+ shelf+ list

Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

2023

Cezara Dragoi, Michael Emmi, Jingbo Wang