The following pages link to (Q3677154):
Displayed 4 items.
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- From static to dynamic abstract data-types: An institution transformation (Q1285655) (← links)
- A formal approach to object-oriented software engineering (Q1608926) (← links)