Pages that link to "Item:Q5326351"

The following pages link to Efficient Property Preservation Checking of Model Refinements (Q5326351):

Displaying 2 items.

• A formal verification technique for behavioural model-to-model transformations (Q682361) (← links)
• (Q5119395) (← links)