nieto-2023-modular:
  type: article
  title: Modular Verification of State-Based CRDTs in Separation Logic
  author:
  - Nieto, Abel
  - Daby-Seesaram, Arnaud
  - Gondelman, Léon
  - Timany, Amin
  - Birkedal, Lars
  date: 2023
  page-range: 22:1-22:27
  url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.22
  serial-number:
    doi: 10.4230/LIPICS.ECOOP.2023.22
  parent:
    type: proceedings
    title: 37th European Conference on Object-Oriented Programming (ECOOP 2023)
    publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    volume: 263