The following pages link to (Q4808845):
Displaying 7 items.
- Experiments in program verification using Event-B (Q432154) (← links)
- A tactic language for refinement of state-rich concurrent specifications (Q541214) (← links)
- Interface theories for concurrency and data (Q549177) (← links)
- Building a Modal Interface Theory for Concurrency and Data (Q2890318) (← links)
- Unifying Theories of Programming in Isabelle (Q2948230) (← links)
- Proving Quicksort Correct in Event-B (Q2994490) (← links)
- UTP, \textsf{\textit{Circus}}, and Isabelle (Q6535825) (← links)