@misc{indiciae61ffc4f2e199,
  title = {Context-Aware Separation Logic},
  author = {Roland Meyer and Thomas Wies and Sebastian Wolff},
  year = {2024},
  url = {https://arxiv.org/abs/2307.15549},
  note = {Source identifier: 2307.15549}
}