Rayna Dimitrova profile picture

Rayna Dimitrova

Is this your author profile? Create an account to customize it!

Stand Alone

Software Verification
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II
Verification, Model Checking, and Abstract Interpretation