Gw mau tau Lihat juga dari Tatatanda Z. Jelasin dalam bahasa melayu

Community Z Tools (CZT) project

The Z Notation: a reference manual

Jonathan Bowen's The Z notation

Specification proposals by Ian Toyn

Suppliers of the ISO formal specification

Community Z Tools (CZT) project

ZETA open-source system for development software specifications in Z

HOL-Z open-source proof environment for Z in Isabelle/HOL

Mike Spivey's Fuzz Type-Checker for Z

Using Z: Specification, Refinement, and Proof (Include a PDF book)