Relating CASL with other specification languages: the institution level
Theoretical Computer Science
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Translationg OBJ3 into CASL: The Institution Level
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Amalgamation in the semantics of CASL
Theoretical Computer Science - Automata, languages and programming
Hi-index | 0.00 |