Rayna Dimitrova

Identifiers

Open LibraryOL10156271A

Books by Rayna Dimitrova

Total count: 2

Software Verification13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers

Springer International Publishing AG2022-01-01
Verification, Model Checking, and Abstract Interpretation25th International Conference, VMCAI 2024, London, on, Canada, January 15-16, 2024, Proceedings, Part I

Springer2024-01-01