REFINER
From MaRDI portal
Software:36048
No author found.
Related Items (2)
A formal verification technique for behavioural model-to-model transformations ⋮ Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique
This page was built for software: REFINER