Метод статического анализа утечки памяти в динамических структурах произвольной сложности - Голомазова, Анастасия Евгеньевна (Материалы XI-й Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-27 мая 2024 г.)