CASL: From Semantics to Tools. (2000)

by T Mossakowski
Venue:In S. Graf (Ed.) TACAS 2000, LNCS