Subtyping and Constructive Specification.

Ole-Johan Dahl Olaf Owe Tore J. Bastiansen

Published in: Nord. J. Comput. (1998)

Keyphrases

high level
formal verification
databases
information retrieval
multiscale
data structure
data sets
digital libraries
conceptual model
formal specification
formal methods
specification language
state machine
reactive systems