MooZ

<language, specification>

An object-oriented extension of Z.

["Object Orientation in Z", S. Stepney et al eds, Springer 1992].

Last updated: 1997-07-09

Nearby terms:

Moore graphMoore's Lawmoose callMooZMopsMORALmoremoria

Try this search on Wikipedia, OneLook, Google


Loading