Dvortsova Varvara Viktorovna

Publications in Math-Net.Ru

1. Static Analysis of Go Maps
   
   Proceedings of ISP RAS, 36:3 (2024),  21–34
2. Static analysis for languages with exception handling
   
   Proceedings of ISP RAS, 34:6 (2022),  7–28