VeriFx: Correct Replicated Data Types for the Masses

Onderzoeksoutput: Conference paper

Originele taal-2English
TitelVeriFx: Correct Replicated Data Types for the Masses
StatusAccepted/In press - 2023
EvenementEuropean Conference on Object-Oriented Programming - University of Washington, Seattle campus, Seattle, United States
Duur: 17 jul 202321 jul 2023
Congresnummer: 2023

Conference

ConferenceEuropean Conference on Object-Oriented Programming
Verkorte titelECOOP
Land/RegioUnited States
StadSeattle
Periode17/07/2321/07/23

Citeer dit