TY  - RPRT
TI  - Review of Recent Heap Specification and Verification Techniques
AU  - René Haberland
PY  - 2022
DO  - 10.32603/2071-2340-2019-2-5-30
UR  - https://arxiv.org/abs/1910.10176
ID  - 1910.10176
ER  -