Junctive Compositions of specifications in total, general correctness.

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

special case
wide range
case study
multiscale
database
social networks
information systems
image processing
data structure
expert systems
formal specification