<language, specification> An object-oriented extension of Z.
["Object Orientation in Z", S. Stepney et al eds, Springer 1992].
(1997-07-09)
Try this search on Wikipedia, OneLook, Google
Nearby terms: Moore graph « Moore's Law « moose call « MooZ » Mops » MORAL » more