TY  - RPRT
TI  - A Logical Programming Language as an Instrument for Specifying and Verifying Dynamic Memory
AU  - René Haberland
PY  - 2021
UR  - https://arxiv.org/abs/2104.01667
ID  - 2104.01667
ER  -