Ицыксон ВМ, Онищук МП, Кечин ВВ, Алексеев ЯА. Моделирование поведения функций стандартной библиотеки в задачах анализа программ. ИУС [Интернет]. 25сен.2024 [цитируется по 31окт.2024];(4):24-9. Available from: https://i-us.ru/index.php/ius/article/view/16314