C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
VeriFx: Correct Replicated Data Types for the Masses.
Kevin De Porre
Carla Ferreira
Elisa Gonzalez Boix
Published in:
CoRR (2022)
Keyphrases
</>
data types
database management systems
data structure
data model
user defined
database systems
database server
back end
data mining algorithms
data manipulation language
database objects
microsoft sql server
neural network
abstract data types
databases
data sets
data management
image processing
spatiotemporal data