@misc{indiciaef26a8db2b999,
  title = {Replication Package for "Union-Find and Usability: A Case Study and Analysis of Rust Formal Verifier},
  author = {Sarracino, John and Maclaren, Molly},
  year = {2024},
  doi = {10.5281/zenodo.13887654},
  url = {https://www.osti.gov/biblio/code-145119},
  note = {Source identifier: code-145119}
}