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