Login / Signup
Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation.
Brijesh Dongol
Ian J. Hayes
Published in:
Australian Software Engineering Conference (2009)
Keyphrases
</>
desirable properties
global consistency
imperative programs
machine learning
web services
decision trees
high level
expert systems
information technology
structural properties
program execution