Pages that link to "Item:Q3179407"
From MaRDI portal
The following pages link to Unifying Heterogeneous State-Spaces with Lenses (Q3179407):
Displaying 6 items.
- Unifying theories of time with generalised reactive processes (Q1708268) (← links)
- Unifying theories of reactive design contracts (Q2007732) (← links)
- Automated verification of reactive and concurrent programs by calculation (Q2043817) (← links)
- Integration of formal proof into unified assurance cases with Isabelle/SACM (Q2065527) (← links)
- Automated Algebraic Reasoning for Collections and Local Variables with Lenses (Q5098716) (← links)
- Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL (Q5098720) (← links)
