@misc{indiciae68252b377115,
  title = {AutoDeduct: A Tool for Automated Deductive Verification of C Code},
  author = {Jesper Amilon and Dilian Gurov and Christian Lidström and Mattias Nyberg and Gustav Ung and Ola Wingbrant},
  year = {2025},
  url = {https://arxiv.org/abs/2501.10889},
  note = {Source identifier: 2501.10889}
}