Ицыксон, В. М., Онищук, М. П., Кечин, В. В., & Алексеев, Я. А. (2024). Моделирование поведения функций стандартной библиотеки в задачах анализа программ. Информационно-управляющие системы, (4), 24-39. https://doi.org/10.31799/1684-8853-2024-4-24-39