Learn more about Z from our People directory

A Comparison of Z and VDM with B/AMN - Compares Z

Acute Computing - Apple/Macintosh sales and service

Combination and Implementation of Processes and Data: from CSP-OZ to Java - Ph.D. thesis

Community Z Tools Initiative: CZT - Proposed to Z community

IEEE Computer Society - Promotes research and serves as a provider of technical information and standards to computing professionals. Has news

MOBY - Official page. C++ class library

Object-Z Page - Object-oriented extension of Z formal specification language

PiZA - Prolog Z Animator tool. Typesets Z specifications via LaTeX program

Professor Jonathan Bowen - ZUG webmaster; Computing Professor

RoZ - Named after Rosetta stone. Gives formal Z specification from annotated UML diagram

Standard for Z Notation - International Z Notation standardization effort finished in 2002 and yielded The ISO/IEC Z Standard. Brief description

TCOZ Page - Timed Communicating Object-Z integrates Object-Z and Timed CSP

The Z Notation - The formal specification notation Z is based on Zermelo-Fraenkel set theory and first order predicate logic. Entry from World Wide Web Virtual Library; descriptions

The Z Notation - The World Wide Web Virtual Library entry for the Z formal specification langugae

Video Domains - Lists a small collection of names.

Z Family on the Web with Their UML Photos - Treats building lightweight tools such as Web browser systems for formal specifications and methods. School of Computing

Z from FOLDOC - Entry with links to several related concepts to aid learning.

Z Microsystems - Retailer of custom field-ready servers

Z User Group: ZUG - Promotes use and development of Z formal specification language. History

Z/EVES - Front-end to EVES verification system

Zamarrita Computers - Computers sales

Zammuto - Michael

Zamov - Anton

ZB2002 - The 2nd International Z and B Conference

Zebra Computer - Sells computer gadgets

Zedan - De Montfort University - Formal methods

Zelt - Rob

Zemlanojs - Vadims

Zennaro - Computer networks

Zennaro - UC Berkeley. Tutorials on SMIL

Zero Risk Names - Domain name registration for .com

Zero-a-Register - Site offers domain registration and web hosting.

ZETA System - Environment to develop Z specification documents; integrated tool framework to edit

Zhang - Monash University - Research on image processing.

Zhdanova - Novosibirsk State University - Text and document management

ZiD - Site offers domain name registration in .com

Zilberstein - University of Massachusetts - Research interests include approximate reasoning

Zimmer - Patrick

Zone Servers - Registration in the uk

Zone X Multimedia - Personalised computer

Ztronic Computer Sdn Bhd - Retail store and service centre for computer products.

Zuko - Nikki

Zuurman - Mike - Mr.Mouse

Zytech - Data storage and peripheral products.