C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Certified Verification of Relational Properties.
Lionel Blatter
Nikolai Kosmatov
Virgile Prevosto
Pascale Le Gall
Published in:
IFM (2022)
Keyphrases
</>
desirable properties
artificial intelligence
relational databases
data model
relational data
image processing
learning environment
multi relational
data sets
neural network
information systems
decision making
model checking
database schema
formal verification