The following pages link to (Q2767179):
Displayed 4 items.
- A formal approach to object-oriented software engineering (Q1608926) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- CSP-CASL -- a new integration of process algebra and algebraic specification (Q2368940) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)