ENFORCe

swMATH44277MaRDI QIDQ5974410FDOQ5974410

Author name not available (Why is that?)

Cited In (3)

• Constructing optimized validity-preserving application conditions for graph transformation rules
• A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java
• Constructing optimized constraint-preserving application conditions for model transformation rules

This page was built for software: ENFORCe