The following pages link to (Q4364371):
Displaying 5 items.
- Toward formal development of programs from algebraic specifications: Parameterisation revisited (Q1323357) (← links)
- On the power of higher-order algebraic specification methods (Q1908358) (← links)
- Verifying an infinite systolic algorithm using third-order equational methods (Q2500698) (← links)
- (Q3809236) (← links)
- (Q4493877) (← links)