Relating Casl with other specification languages: the institution level (0)

by Till Mossakowski
Venue:Theoretical Computer Science