Exceptions for algebraic specifications: on the meaning of “but”

• Authors:

• Pierre-Yves Schobbens

• Affiliations:

• -

• Venue:
• 6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
• Year:
• 1993