TY  - RPRT
TI  - A Non-repetitive Logic for Verification of Dynamic Memory with Explicit Heap Conjunction and Disjunction
AU  - René Haberland
AU  - Kirill Krinkin
PY  - 2019
UR  - https://arxiv.org/abs/1905.12944
ID  - 1905.12944
ER  -