Foundations of Compositional Program Refinement - Safety Properties.

Published in: REX Workshop (1989)

Keyphrases

artificial intelligence
desirable properties
structural properties
imperative programs
databases
neural network
real world
information systems
image processing
multi agent
monitoring system