REFINER

swMATH24290MaRDI QIDQ36048FDOQ36048

Author name not available (Why is that?)

Cited In (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