REFINER

swMATH24290MaRDI QIDQ36048FDOQ36048

Author name not available (Why is that?)

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

Cited In (4)

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

This page was built for software: REFINER