Pages that link to "Item:Q1113659"
From MaRDI portal
The following pages link to Procedures, parameters, and abstraction: Separate concerns (Q1113659):
Displaying 4 items.
- Predicate transformers and higher-order programs (Q672318) (← links)
- Proof obligations for blocks and procedures (Q919838) (← links)
- An inconsistency in procedures, parameters, and substitution in the refinement calculus (Q1818306) (← links)
- Linking Event-B and Concurrent Object-Oriented Programs (Q5403467) (← links)