Overture Tool
From MaRDI portal
Software:30091
No author found.
Related Items (4)
Unifying Theories of Undefinedness in UTP ⋮ Integrating formal specifications into applications: the ProB Java API ⋮ An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems ⋮ Formal Semantics of a VDM Extension for Distributed Embedded Systems
This page was built for software: Overture Tool
