The following pages link to (Q4790664):
Displaying 5 items.
- A theoretical basis for stepwise refinement and the programming calculus (Q578892) (← links)
- The least conjunctive refinement and promotion in the refinement calculus (Q1125692) (← links)
- General parameterised refinement and recursion for the M-net calculus (Q1399968) (← links)
- (Q4823141) (← links)
- A sequent calculus for first-order logic formalized in Isabelle/HOL (Q6162119) (← links)