@misc{indiciaec2b25814a0fc,
  title = {Modular termination verification with a higher-order concurrent separation logic (Intermediate report)},
  author = {Justus Fasse and Bart Jacobs},
  year = {2022},
  url = {https://arxiv.org/abs/2212.14126},
  note = {Source identifier: 2212.14126}
}