ZUM '97, the Z formal specification notation
Subtitle: 10th International Conference of Z Users, Reading, UK, April 3-4 1997 : proceedings
By: Jonathan P. Bowen, Michael G. Hinchey, David Till, eds.
Contributors: Bowen, J. P. 1956-; Hinchey, Michael G. 1969-; Till, David.
Series: Lecture notes in computer science -- 1212.
Publisher: Springer
Published: 1997
Place of publication: Berlin; New York
Language: eng
Number of pages: 433
Subjects: Z (Computer program language) -- Congresses.
Other titles: Z formal specification notation.
Notes: Includes bibliographical references and index.