@misc{indiciaec20a2ac4742e,
  title = {Correctness Witnesses with Function Contracts},
  author = {Matthias Heizmann and Dominik Klumpp and Marian Lingsch-Rosenfeld and Frank Schüssele},
  year = {2025},
  url = {https://arxiv.org/abs/2501.12313},
  note = {Source identifier: 2501.12313}
}