swMATH44332MaRDI QIDQ1349618FDOQ1349618
Author name not available (Why is that?)
Official website: https://ocl2ac.github.io/home/
Source code repository: https://github.com/OCL2AC/home
Cited In (10)
- Constructing optimized validity-preserving application conditions for graph transformation rules
- Augur 2
- CheckVML
- Henshin
- Analysis of graph transformation systems: native vs translation-based techniques
- DrAGoM
- Constructing optimized constraint-preserving application conditions for model transformation rules
- ENFORCe
- OCLinEcore
- Constructing constraint-preserving interaction schemes in adhesive categories
This page was built for software: OCL2AC
