Rosalind Barden, Susan Stepney, David Cooper, Copyright Logica
During 1990 and 1991 we carried out a survey of Z users in the UK; in this paper we present the results. Z is being used by a wide variety of companies for many different applications. Many...
References [1] Jean-Raymond Abrial. The B-Book: Assigning Programs to Meanings. (2008)
Sten Agerhold, Peter Gorm, Larsen The, Ifad Vdm Lightweight, Werner Stephan, Paolo Traverso, ...
problem in procedure specifications. IEEE Transactions on Software Engineering, 21(10):785–798, 1995. [8] E.J.H. Chang and R. Roberts. An improved algorithm for decentralized extrema-finding in...
Jonathan Bowen, Susan Stepney, Rosalind Barden
This annotated Z bibliography contains a selected list of some pertinent publications for Z users. Most of those included are readily available, either as books or in journals. A few unpublished...
Annotated Z Bibliography (1995)
Jonathan P. Bowen, Susan Stepney, Rosalind Barden
This annotated Z bibliography contains a list of pertinent publications for Z users.