Publication View

Prepared by members of the Z Standards Panel BSI Panel IST/5/-/19/2 (Z Notation) ISO Panel JTC1/SC22/WG19 (Rapporteur Group for Z) (2007)

Abstract
This is a major revision of the Z Standard, replacing all previous versions. It is an updated version of the document presented at the 29th Meeting of the Z

Publication details
Download http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.22.2806
Source http://www.csci.csusb.edu/cs320/z/z.part1.ps.Z
Contributors CiteSeerX
Repository CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Type text
Language English