CZT
From MaRDI portal
Software:17921
No author found.
Related Items (6)
Refinement-oriented models of Stateflow charts ⋮ Z2SAL: a translation-based model checker for Z ⋮ Saoithín: A Theorem Prover for UTP ⋮ A formalism to describe design patterns based on role concepts ⋮ Unnamed Item ⋮ Type Checking Specifications
This page was built for software: CZT
