Archive presents Q&A on Z notation. Submit a question.

View a slide presentation by Michal Young and Maura Pezze. Includes visuals, references and suggested reading.

Z is one of the most popular Formal Methods specification languages. Index of information on Z.

Founded n 1992 in the United Kingdom to promote Z notation. Find out how to contact members and get URLs for their places of work.