Hassnain, M., & Stanford, C. (2024). Counterexamples in Safe Rust. Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops, 128–135. https://doi.org/10.1145/3691621.3694943