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


Loading