Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Goremykin, Alexey Vyacheslavovich https://www.mathnet.ru/eng/person174660 List of publications on Google Scholar https://orcid.org/0000-0002-9054-0152 Publications in Math-Net.Ru Citations 2021 1. A. E. Borodin, A. V. Goremykin, S. P. Vartanov, A. A. Belevantsev, “Searching for tainted vulnerabilities in static analysis tool Svace”, Proceedings of ISP RAS, 33:1 (2021),  7–32   3