TY  - RPRT
TI  - Fearless Unsafe. A More User-friendly Document for Unsafe Rust Programming Base on Refined Safety Properties
AU  - Mohan Cui
AU  - Penglei Mao
AU  - Shuran Sun
AU  - Yangfan Zhou
AU  - Hui Xu
PY  - 2024
UR  - https://arxiv.org/abs/2412.06251
ID  - 2412.06251
ER  -