The Object-Based Specification Language PI: Concepts, Syntax, and Semantics

• Authors:

• Peter Gabriel

• Affiliations:

• -

• Venue:
• Selected papers from the 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop on Recent Trends in Data Type Specification
• Year:
• 1991