VeriFx: Correct Replicated Data Types for the Masses

Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix ,

URL	https://doi.org/10.4230/LIPIcs.ECOOP.2023.9
Book title	37th European Conference on Object-Oriented Programming (ECOOP 2023)

Publication