sharmaGroveSeparationLogicLibrary2023:
  type: article
  title:
    value: 'Grove: A {Separation-Logic Library} for {Verifying Distributed Systems}'
    short: Grove
  author:
  - Sharma, Upamanyu
  - Jung, Ralf
  - Tassarotti, Joseph
  - Kaashoek, Frans
  - Zeldovich, Nickolai
  date: 2023-10-23
  page-range: 113-129
  url:
    value: https://dl.acm.org/doi/10.1145/3600006.3613172
    date: 2024-01-08
  serial-number:
    doi: 10.1145/3600006.3613172
    isbn: '9798400702297'
  language: en-US
  parent:
  - type: proceedings
    title: Proceedings of the 29th {Symposium} on {Operating Systems Principles}
    publisher:
      name: ACM
      location: Koblenz Germany
  - type: conference
    title: '{SOSP} ''23: 29th {Symposium} on {Operating Systems Principles}'