View of Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations

Return to Article Details Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations Download Download PDF