Pages that link to "Item:Q3540403"

The following pages link to Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts (Q3540403):

Displaying 3 items.

• On the Specification and Verification of Model Transformations (Q3184747) (← links)
• Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts (Q3540403) (← links)
• (Q5021224) (← links)