lattuada-2023-verus:
  type: article
  title: 'Verus: Verifying Rust Programs using Linear Ghost Types'
  author:
  - Lattuada, Andrea
  - Hance, Travis
  - Cho, Chanhee
  - Brun, Matthias
  - Subasinghe, Isitha
  - Zhou, Yi
  - Howell, Jon
  - Parno, Bryan
  - Hawblitzel, Chris
  date: 2023-04
  page-range: 286-315
  url: http://dx.doi.org/10.1145/3586037
  serial-number:
    doi: 10.1145/3586037
    issn: 2475-1421
  parent:
    type: periodical
    title: Proceedings of the ACM on Programming Languages
    publisher: Association for Computing Machinery (ACM)
    issue: OOPSLA1
    volume: 7