Pages that link to "Item:Q5898913"
From MaRDI portal
The following pages link to Theory and Applications of Models of Computation (Q5898913):
Displaying 4 items.
- A categorical framework for the transformation of object-oriented systems: models and data (Q631577) (← links)
- Category localization semantics for specification refinements (Q2385430) (← links)
- An algebraic approach to population-based evolutionary algorithm generation (Q2520618) (← links)
- Designware: Software development by refinement (Q2751746) (← links)