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