The following pages link to Unifying theories in ProofPower-Z (Q1941892):
Displayed 6 items.
- Denotational semantics and its algebraic derivation for an event-driven system-level language (Q903516) (← links)
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP (Q2198135) (← links)
- Modelling temporal behaviour in complex systems with Timebands (Q2248089) (← links)
- Simulink Timed Models for Program Verification (Q2842628) (← links)
- Unifying Theories of Programming in Isabelle (Q2948230) (← links)
- An Axiomatic Value Model for Isabelle/UTP (Q2971180) (← links)