Institution independent static analysis for Casl (2002)

Cached

Download Links

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