Static Semantic Analysis and Theorem Proving for CASL (1998)

Cached

Download Links

by Till Mossakowski , Kolyang , Bernd Krieg-Brückner
Venue:In F. Parisi-Presicce (Ed.): Recent Trends in Algebraic Development Techniques
Citations:22 - 12 self