TY  - RPRT
TI  - Dynamically Allocated Memory Verification in Object-Oriented Programs using Prolog
AU  - René Haberland
AU  - Sergey Ivanovskiy
PY  - 2019
DO  - 10.15514/syrcose-2014-8-7
UR  - https://arxiv.org/abs/1906.02808
ID  - 1906.02808
ER  -