View of Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations

Return to Article Details Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations Download Download PDF