The following pages link to (Q4702598):
Displaying 7 items.
- On behavioural abstraction and behavioural satisfaction in higher-order logic (Q671672) (← links)
- A Larch shared language handbook (Q1067768) (← links)
- Expressive power of specification languages (Q1272765) (← links)
- Amalgamation in the semantics of CASL (Q1770431) (← links)
- Specification architectures (Q2906955) (← links)
- (Q3745248) (← links)
- (Q4424843) (← links)