Translating OBJ3 into CASL: the Institution Level (1998)

by Till Mossakowski
Venue:In Recent Trends in Algebraic Development Techniques, Proc. 13th International Workshop, WADT '98
Citations:3 - 0 self