Pages that link to "Item:Q1114384"
From MaRDI portal
The following pages link to Auxiliary variables in data refinement (Q1114384):
Displaying 5 items.
- Auxiliary variables in partial correctness programming logics (Q582037) (← links)
- Algebraic proofs of consistency and completeness (Q672320) (← links)
- A single complete rule for data refinement (Q684396) (← links)
- Data refinement of predicate transformers (Q1177155) (← links)
- Safety-critical Java programs from \textsf{Circus} models (Q2443940) (← links)
