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

АФАНАСЬЕВ В.О., БОРОДИН А.Е., ВЕЛЕСЕВИЧ Е.А., ОРЛОВ Б.В. Аннотирование исходного кода для статического анализа. Труды Института системного программирования РАН. 2025;37(6):135-148. https://doi.org/10.15514/ISPRAS-2025-37(6)-8

For citation:

AFANASYEV V.O., BORODIN A.E., VELESEVICH E.A., ORLOV B.V. Source Code Annotation for Static Analysis. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2025;37(6):135-148. (In Russ.) https://doi.org/10.15514/ISPRAS-2025-37(6)-8