An Operational Semantics for Specifications of Abstract Data Types with Error Handling

Gregor Engels, Udo Pletat, Hans-Dieter Ehrich. An Operational Semantics for Specifications of Abstract Data Types with Error Handling. Acta Informatica, 19:235-253, 1983.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.