@misc{indiciae5022a49714f8,
  title = {Dynamic Separation Logic},
  author = {Frank S. de Boer and Hans-Dieter A. Hiep and Stijn de Gouw},
  year = {2025},
  doi = {10.46298/entics.12297},
  url = {https://arxiv.org/abs/2309.08962},
  note = {Source identifier: 2309.08962}
}