UMLtoCSP

swMATH11377MaRDI QIDQ23323FDOQ23323

Author name not available (Why is that?)

Cited In (3)

• A framework for model transformation verification
• Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations
• From Core OCL Invariants to Nested Graph Constraints

This page was built for software: UMLtoCSP