Extending B with Control Flow Breaks.

Lilian Burdy Antoine Requet

Published in: ZB (2003)

Keyphrases

control flow
data flow
process model
workflow management systems
software testing
reactive systems
transition systems
data sets
modeling language
business process models
databases
information systems
expert systems
relational databases
software engineering
business process