The ASSPEGIQUE Specification Environment - Motivations and Design

• Authors:

• Michel Bidoit;Christine Choppy;Frédéric Voisin

• Affiliations:

• -;-;-

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