Хаберланд Р. Сравнительный анализ статических методов верификации динамической памяти. Компьютерные инструменты в образовании [Интернет]. 16 октябрь 2019 г. [цитируется по 25 июль 2026 г.];(2):5-30. доступно на: http://cte.eltech.ru/ojs/index.php/kio/article/view/1533