Cezara Dragoi

Identifiers

Open LibraryOL9932329A

Books by Cezara Dragoi

Total count: 2

Static Analysis28th International Symposium, SAS 2021, Chicago, il, USA, October 17-19, 2021, Proceedings

Springer International Publishing AG2021-01-01
Verification, Model Checking, and Abstract Interpretation24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Springer2023-01-01