ZEST(ID:1716/zes001)

Object oriented extension of Z.

Structures:
Related languages
Z => ZEST   Extension of
References:
  • Stepney S. et al eds, "Object Orientation in Z", Springer 1992 view details