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

Dirk Scholz, Carsta Petersohn

Browse the full ICFEM paper archive.