Overture Tool

swMATH18248MaRDI QIDQ30091FDOQ30091

Author name not available (Why is that?)

Cited In (4)

• Unifying Theories of Undefinedness in UTP
• Integrating formal specifications into applications: the ProB Java API
• Formal Semantics of a VDM Extension for Distributed Embedded Systems
• An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems

This page was built for software: Overture Tool