External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

VeriFx: Correct Replicated Data Types for the Masses

Kevin De Porre, Carla Ferreira 0001, Elisa Gonzalez Boix. VeriFx: Correct Replicated Data Types for the Masses. In Karim Ali 0001, Guido Salvaneschi, editors, 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States. Volume 263 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

Authors

Kevin De Porre

This author has not been identified. Look up 'Kevin De Porre' in Google

Carla Ferreira 0001

This author has not been identified. Look up 'Carla Ferreira 0001' in Google

Elisa Gonzalez Boix

This author has not been identified. Look up 'Elisa Gonzalez Boix' in Google
runs on