ENFORCe
From MaRDI portal
Software:5974410
No author found.
Related Items (3)
A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java ⋮ Constructing optimized validity-preserving application conditions for graph transformation rules ⋮ Constructing optimized constraint-preserving application conditions for model transformation rules
This page was built for software: ENFORCe