Towards the one-tiered design of data types and transition systems.

Published in: WADT (1997)

Keyphrases

data types
data model
data structure
database management systems
database systems
transition systems
design process
case study
model checking
first order logic