Pages that link to "Item:Q1815345"
From MaRDI portal
The following pages link to A tactic calculus. --- Abridged version (Q1815345):
Displaying 8 items.
- Mechanised support for sound refinement tactics (Q432151) (← links)
- A tactic language for refinement of state-rich concurrent specifications (Q541214) (← links)
- Tactics for hierarchical proof (Q626933) (← links)
- Angelic nondeterminism in the unifying theories of programming (Q851128) (← links)
- Angelic processes for CSP via the UTP (Q1757156) (← links)
- A tactic calculus. --- Abridged version (Q1815345) (← links)
- Automating Refinement of Circus Programs (Q2999326) (← links)
- Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology (Q4827602) (← links)
