The following pages link to (Q3947104):
Displaying 4 items.
- Observational implementation of algebraic specifications (Q911245) (← links)
- Non-deterministic data types: Models and implementations (Q1058286) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)