@misc{indiciae1aee2ff99f20,
  title = {RustyDL: A Program Logic for Rust},
  author = {Daniel Drodt and Reiner Hähnle},
  year = {2026},
  url = {https://arxiv.org/abs/2602.22075},
  note = {Source identifier: 2602.22075}
}