Institution independent static analysis for Casl (2002)

by T Mossakowski, B Klin
Venue:Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT'01