The following pages link to (Q4250665):
Displaying 5 items.
- Non-deterministic expressions and predicate transformers (Q287006) (← links)
- Refinement concepts formalised in higher order logic (Q916409) (← links)
- Mechanizing some advanced refinement concepts (Q1309250) (← links)
- Refinement of Higher-Order Logic Programs (Q3079921) (← links)
- Differential Refinement Logic (Q4635909) (← links)