@misc{indiciaee09f400b5a3c,
  title = {Completeness Thresholds for Memory Safety: Unbounded Guarantees via Bounded Proofs (Extended Abstract)},
  author = {Tobias Reinhard and Justus Fasse and Bart Jacobs},
  year = {2023},
  url = {https://arxiv.org/abs/2309.09731},
  note = {Source identifier: 2309.09731}
}