Institution independent static analysis for Casl (2002)

by Till Mossakowski , Bartek Klin
Venue:Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT'01
Citations:2 - 2 self