TY  - RPRT
TI  - Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
AU  - Son Ho
AU  - Aymeric Fromherz
AU  - Jonathan Protzenko
PY  - 2024
UR  - https://arxiv.org/abs/2404.02680
ID  - 2404.02680
ER  -