Pages that link to "Item:Q1323373"
From MaRDI portal
The following pages link to Two impossibility theorems on behaviour specification of abstract data types (Q1323373):
Displaying 6 items.
- On behavioural abstraction and behavioural satisfaction in higher-order logic (Q671672) (← links)
- Behavioural approaches to algebraic specifications. A comparative study (Q1338907) (← links)
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- Proof systems for structured specifications with observability operators (Q1391730) (← links)
- Closure properties for the class of behavioral models (Q2373706) (← links)
- On behavioural abstraction and behavioural satisfaction in higher-order logic (Q5096735) (← links)
