REFINER

MaRDI QIDQ36048swMATHFDO

Official website https://rd.springer.com/chapter/10.1007/978-3-319-06200-6_21

Cited in

(4)

• Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique
• A formal verification technique for behavioural model-to-model transformations
• Loopy
• WebAssembly

This page was built for software: REFINER