The following pages link to (Q3707384):
Displayed 4 items.
- Observational specifications and the indistinguishability assumption (Q673973) (← links)
- Observational implementation of algebraic specifications (Q911245) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- Observational implementations (Q5096143) (← links)