The Object-Z Specification Language
itee.uq.edu.auBy Graeme Smith; Kluwer Academic Publishers, 2000, ISBN 0792386841. Textbook or reference, fully describes topic: semantics, defines all constructs, type and usage rules, specification guidelines, full syntax. [University of Queensland]
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.