Object-Z is an object-oriented extension to the Z notation developed at the University of Queensland, Australia.
Object-Z ist eine objektorientierte Erweiterung, die an der University of Queensland, Australien, entwickelt wurde.