Pages that link to "Item:Q751843"
From MaRDI portal
The following pages link to Refinement, conformance and inheritance (Q751843):
Displaying 4 items.
- On simulation, subtyping and substitutability in sequential object systems (Q1906038) (← links)
- A framework for establishing formal conformance between object models and object-oriented programs (Q2873618) (← links)
- Understanding, Explaining, and Deriving Refinement (Q5861785) (← links)
- Inheritance of behavior (Q5943265) (← links)