The following pages link to (Q2723910):
Displaying 6 items.
- A theoretical basis for stepwise refinement and the programming calculus (Q578892) (← links)
- Combining algebraic specifications and procedural tools for correct program development (Q583876) (← links)
- Toward formal development of programs from algebraic specifications: Parameterisation revisited (Q1323357) (← links)
- Hybrid Specification of Reactive Systems: An Institutional Approach (Q3095244) (← links)
- Formal models of stepwise refinements of programs (Q4727399) (← links)
- Observational Refinement Process (Q5403465) (← links)