Pages that link to "Item:Q406465"
From MaRDI portal
The following pages link to Foundations for structuring behavioural specifications (Q406465):
Displaying 11 items.
- On the existence of translations of structured specifications (Q458375) (← links)
- Generic constructions for behavioral specifications (Q764311) (← links)
- Behavioural specification for hierarchical object composition (Q2571203) (← links)
- (Q3753522) (← links)
- (Q4251109) (← links)
- (Q4256316) (← links)
- (Q4549385) (← links)
- Formal Methods for Components and Objects (Q5311302) (← links)
- CafeOBJ Traces (Q5403067) (← links)
- Formal Methods for Components and Objects (Q5897123) (← links)
- Partialising institutions (Q6185812) (← links)