VeriFx: Correct Replicated Data Types for the Masses

Research output: Chapter in Book/Report/Conference proceeding › Conference paper

Original language	English
Title of host publication	VeriFx: Correct Replicated Data Types for the Masses
Publication status	Accepted/In press - 2023
Event	European Conference on Object-Oriented Programming - University of Washington, Seattle campus, Seattle, United States Duration: 17 Jul 2023 → 21 Jul 2023 Conference number: 2023

Conference	European Conference on Object-Oriented Programming
Abbreviated title	ECOOP
Country	United States
City	Seattle
Period	17/07/23 → 21/07/23

Cite this

@inproceedings{a8d7c4839aa2442d9a3391ebcc97727f,

title = "VeriFx: Correct Replicated Data Types for the Masses",

author = "{De Porre}, Kevin and Carla Ferreira and {Gonzalez Boix}, Elisa",

year = "2023",

language = "English",

booktitle = "VeriFx: Correct Replicated Data Types for the Masses",

note = "European Conference on Object-Oriented Programming, ECOOP ; Conference date: 17-07-2023 Through 21-07-2023",

}