Pages that link to "Item:Q1338907"
From MaRDI portal
The following pages link to Behavioural approaches to algebraic specifications. A comparative study (Q1338907):
Displaying 8 items.
- Behavioural and abstractor specifications revisited (Q724932) (← links)
- Formalizing mathematics in higher-order logic: A case study in geometric modelling (Q1575663) (← links)
- Observational proofs by rewriting. (Q1607227) (← links)
- (Q3031906) (← links)
- (Q4256316) (← links)
- An Informal Approach to Formal (Algebraic) Specifications (Q5184389) (← links)
- Recent Trends in Algebraic Development Techniques (Q5704002) (← links)
- A general framework to build contextual cover set induction provers (Q5950934) (← links)