Pages that link to "Item:Q1784785"
From MaRDI portal
The following pages link to Algebraic foundations for specification refinements (Q1784785):
Displaying 11 items.
- On the algebra of structured specifications (Q549182) (← links)
- Enabledness and termination in refinement algebra (Q923890) (← links)
- On the power of higher-order algebraic specification methods (Q1908358) (← links)
- Generic tools via general refinement (Q2873690) (← links)
- (Q3031906) (← links)
- (Q3707383) (← links)
- (Q3809236) (← links)
- (Q4255593) (← links)
- Algebraic specifications for domain theory (Q5096170) (← links)
- An Informal Approach to Formal (Algebraic) Specifications (Q5184389) (← links)
- An algebraic formulation for data refinement (Q5887529) (← links)