Conjoining Specifications.

Martín Abadi Leslie Lamport

Published in: ACM Trans. Program. Lang. Syst. (1995)

Keyphrases

high level
formal specification
artificial intelligence
delay insensitive
neural network
information systems
website
similarity measure
control flow
reactive systems
design requirements
concurrent systems
attribute grammars
formal descriptions