@misc{indiciaecf7ca6bafcd1,
  title = {Verus: Verifying Rust Programs using Linear Ghost Types (extended version)},
  author = {Andrea Lattuada and Travis Hance and Chanhee Cho and Matthias Brun and Isitha Subasinghe and Yi Zhou and Jon Howell and Bryan Parno and Chris Hawblitzel},
  year = {2023},
  url = {https://arxiv.org/abs/2303.05491},
  note = {Source identifier: 2303.05491}
}