TY  - RPRT
TI  - Dynamic Separation Logic
AU  - Frank S. de Boer
AU  - Hans-Dieter A. Hiep
AU  - Stijn de Gouw
PY  - 2025
DO  - 10.46298/entics.12297
UR  - https://arxiv.org/abs/2309.08962
ID  - 2309.08962
ER  -