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