Cited in
(10)- Constructing constraint-preserving interaction schemes in adhesive categories
- Constructing optimized validity-preserving application conditions for graph transformation rules
- Augur 2
- CheckVML
- Henshin
- DrAGoM
- OCLinEcore
- ENFORCe
- Analysis of graph transformation systems: native vs translation-based techniques
- Constructing optimized constraint-preserving application conditions for model transformation rules
This page was built for software: OCL2AC
