The following pages link to (Q3839061):
Displaying 4 items.
- On what exactly goes on when software is developed step-by-step. II: The sequel (Q1028976) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Stratified institutions and elementary homomorphisms (Q2379932) (← links)
- Parchments for CafeOBJ Logics (Q5403068) (← links)