Crypt-Equivalent Algebraic Specifications.

Friedrich L. Bauer Martin Wirsing

Published in: Acta Informatica (1988)

Keyphrases

formal specification
digital libraries
higher order
specification language
delay insensitive
high level
control flow
design requirements
real time
genetic algorithm
information systems
metadata
image processing
relational databases