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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.