@misc{indiciae7ff64139c090,
  title = {A Hybrid Approach to Semi-automated Rust Verification},
  author = {Sacha-Élie Ayoun and Xavier Denis and Petar Maksimović and Philippa Gardner},
  year = {2025},
  url = {https://arxiv.org/abs/2403.15122},
  note = {Source identifier: 2403.15122}
}