@misc{indiciae15149848a6a6,
  title = {Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version)},
  author = {Marcos Grandury and Aleksandar Nanevski and Alexander Gryzlov},
  year = {2025},
  doi = {10.1145/3747510},
  url = {https://arxiv.org/abs/2501.13603},
  note = {Source identifier: 2501.13603}
}