@misc{indiciae4f22a64afeff,
  title = {Grove: a Separation-Logic Library for Verifying Distributed Systems (Extended Version)},
  author = {Upamanyu Sharma and Ralf Jung and Joseph Tassarotti and M. Frans Kaashoek and Nickolai Zeldovich},
  year = {2023},
  doi = {10.1145/3600006.3613172},
  url = {https://arxiv.org/abs/2309.03046},
  note = {Source identifier: 2309.03046}
}