Хаберланд, Р. (2019). Сравнительный анализ статических методов верификации динамической памяти. Компьютерные инструменты в образовании, 2, 5-30. https://doi.org/10.32603/2071-2340-2019-2-5-30