C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Deductive Search for Errors in Free Data Type Specifications Using Model Generation.
Wolfgang Ahrendt
Published in:
CADE (2002)
Keyphrases
</>
data types
data model
data structure
search algorithm
search space
search strategy
user defined
database systems
abstract data types
database management systems
delay insensitive
data sets
data formats
data sources
relational databases
high level
real world