You are here: irt.org | FOLDOC | MooZ
<language, specification> An object-oriented extension of Z.
["Object Orientation in Z", S. Stepney et al eds, Springer 1992].
(1997-07-09)
Nearby terms: Moore graph « Moore's Law « moose call « MooZ » Mops » MORAL » more
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL