Graphical Versus Logical Specifications.

Gérard Boudol Kim Guldstrand Larsen

Published in: Theor. Comput. Sci. (1992)

Keyphrases

high level
logical representation
logical reasoning
formal specification
functional requirements
control flow
learning algorithm
information systems
data structure
finite state machines
graphical representation
logical rules
delay insensitive