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

БЕЛЯЕВ М.В., РОМАНЕНКОВ Е.С., ИГНАТЬЕВ В.Н. Моделирование библиотечных функций в промышленном статическом анализаторе кода. Труды Института системного программирования РАН. 2020;32(3):21-31. https://doi.org/10.15514/ISPRAS-2020-32(3)-2

For citation:

BELYAEV M.V., ROMANENKOV E.S., IGNATYEV V.N. Modeling of library functions in an industrial static code analyzer. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2020;32(3):21-31. https://doi.org/10.15514/ISPRAS-2020-32(3)-2