Pages that link to "Item:Q3184734"

The following pages link to Property Preserving Refinement for Csp-Casl (Q3184734):

Displaying 3 items.

• A formal verification technique for behavioural model-to-model transformations (Q682361) (← links)
• Compositional Modelling and Reasoning in an Institution for Processes and Data (Q2890337) (← links)
• CSP-CASL-Prover: A Generic Tool for Process and Data Refinement (Q5178975) (← links)