Implementation Specifications

• Authors:

• Christoph Beierle;Angi Voß

• Affiliations:

• -;-

• Venue:
• Selected Papers from the 3rd Workshop on Theory and Applications of Abstract Data Types: Recent Trends in Data Type Specification
• Year:
• 1984