Algebraic Specification of Exception Handling and Error Recovery in Abstract Data Types

Michel Bidoit. Algebraic Specification of Exception Handling and Error Recovery in Abstract Data Types. In ADT. 1983.

Possibly Related Publications

The following publications are possibly variants of this publication: