Research Article

Compositional Abstraction Refinement for Component-Based Systems

Figure 1

703098.fig.001