VeriFx: Correct Replicated Data Types for the Masses (Artifact).

Kevin De Porre Carla Ferreira Elisa Gonzalez Boix

Published in: Dagstuhl Artifacts Ser. (2023)

Keyphrases

data types
data structure
data model
database systems
database management systems
user defined
data formats
back end
data mining algorithms
neural network
database server
microsoft sql server
face recognition
information retrieval
data sets
abstract data types
database