RUS
ENG
Full version
PEOPLE
Ragozina Polina Ilyinichna
Publications in Math-Net.Ru
Detection of erroneous usage of synchronization monitor in Ñ# via static analysis
Proceedings of ISP RAS
,
34
:4 (2022),
63–78
©
Steklov Math. Inst. of RAS
, 2025
