HABERLAND, R. Comparative Analysis of Approaches to Static Verification of Dynamic Memory. Computer Tools in Education, n. 2, p. 5-30, 16 Oct. 2019.