A Hierarchy of Institutions Seperated by Properties of Parameterized Abstract Data Types
Authors:
Till Mossakowski
Affiliations:
-
Venue:
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification