CASL: From Semantics to Tools (2000)

Cached

Download Links

by Till Mossakowski
Venue:TACAS 2000, LNCS 1785
Citations:16 - 10 self