TY  - RPRT
TI  - Verus: Verifying Rust Programs using Linear Ghost Types (extended version)
AU  - Andrea Lattuada
AU  - Travis Hance
AU  - Chanhee Cho
AU  - Matthias Brun
AU  - Isitha Subasinghe
AU  - Yi Zhou
AU  - Jon Howell
AU  - Bryan Parno
AU  - Chris Hawblitzel
PY  - 2023
UR  - https://arxiv.org/abs/2303.05491
ID  - 2303.05491
ER  -