Heterogeneous colimits (0)

by M Codescu, T Mossakowski
Venue:In MoVaH’08 Workshop on Modeling, Validation and