Для цитирования:

РАГОЗИНА П.И., ИГНАТЬЕВ В.Н. Обнаружение ошибок взаимоисключающей блокировки в программах на языке С# при помощи методов статического анализа. Труды Института системного программирования РАН. 2022;34(4):63-78. https://doi.org/10.15514/ISPRAS-2022-34(4)-5

For citation:

RAGOZINA P.I., IGNATYEV V.N. Detection of erroneous usage of synchronization monitor in С# via static analysis. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2022;34(4):63-78. (In Russ.) https://doi.org/10.15514/ISPRAS-2022-34(4)-5