@software{matsushita_2022_6417462, author = {Matsushita, Yusuke and Denis, Xavier and Jourdan, Jacques-Henri and Dreyer, Derek}, title = {{RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code, Artifact}}, month = apr, year = 2022, publisher = {Zenodo}, version = 1, doi = {10.5281/zenodo.6417462}, url = {https://doi.org/10.5281/zenodo.6417462} }