@misc{indiciae475adc24034e,
  title = {Verifying the Rust Standard Library},
  author = {Byron Cook and Remi Delmas and Zyad Hassan and Bart Jacobs and Ranjit Jhala and Rahul Kumar and Felipe R. Monteiro and Thanh Nguyen and Rebecca Rumbul and Michael Tautschnig and Celina Val and Carolyn Zech},
  year = {2026},
  doi = {10.1007/978-3-032-28079-4\_19},
  url = {https://arxiv.org/abs/2606.17374},
  note = {Source identifier: 2606.17374}
}