Relating CASL with Other Specification Languages: the Institution Level (2000)

Cached

Download Links

by Till Mossakowski
Citations:34 - 16 self