Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Panova, Sophia Maksimovna E-mail: https://www.mathnet.ru/eng/person235378 List of publications on Google Scholar https://orcid.org/0009-0008-5106-0915 Publications in Math-Net.Ru Citations 2025 1. S. M. Panova, S. A. Smolov, M. M. Volkova, “Application of SVAN static analysis tool on open RTL benchmarks”, Proceedings of ISP RAS, 37:5 (2025),  131–142   Organisations Plekhanov Russian State University of Economics, Moscow Ivannikov Institute for System Programming of the RAS