Foundations of heterogeneous speci (0)

by Till Mossakowski
Venue:In WADT2002