Haberland R. Comparative Analysis of Approaches to Static Verification of Dynamic Memory. Comput. Tools Educ. [Internet]. 2019 Oct. 16 [cited 2026 Nov. 1];(2):5-30. Available from: http://cte.eltech.ru/ojs/index.php/kio/article/view/1533