3 links
Community Z Tools Initiative: CZT
eb.comlab.ox.ac.uk
Proposed to Z community, now under discussion. Mail list archive, proposals, comments, responses.
Object-Z Page
itee.uq.edu.au
Object-oriented extension of Z formal specification language, developed by research team at University of Queensland. Brief description, links, FAQ, tool support, publications, boo…