Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language

Dirk Scholz, Carsta Petersohn. Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language. In ICFEM. pages 28-37, 1997.

Abstract

Abstract is missing.