@misc{indiciae05a0ad4ec85f,
  title = {Verifying a Realistic Mutable Hash Table},
  author = {Samuel Chassot and Viktor Kunčak},
  year = {2024},
  url = {https://arxiv.org/abs/2107.08824},
  note = {Source identifier: 2107.08824}
}