Pages that link to "Item:Q2751746"
From MaRDI portal
The following pages link to Designware: Software development by refinement (Q2751746):
Displaying 4 items.
- A problem reduction based approach to discrete optimization algorithm design (Q975314) (← links)
- (Q4301161) (← links)
- Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems (Q5321691) (← links)
- Toward an Automatic Approach to Greedy Algorithms (Q5321722) (← links)