The following pages link to (Q2764130):
Displaying 4 items.
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- Amalgamation in the semantics of CASL (Q1770431) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Lambda Expressions in Casl Architectural Specifications (Q2890326) (← links)