Hall, J. and Martin, A. (1997) W Reconstructed. Bowen, J. P., Hinchey, M. G. and Till, D. (eds.) Proc. 10th Int. Conf. of Z Users: The Z Formal Specification Notation (ZUM), LNCS 1212. pp. 115-134 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: April 1997
Additional Information:
Address: Reading, UK
Venue - Dates:
Proc. 10th Int. Conf. of Z Users: The Z Formal Specification Notation (ZUM), LNCS 1212, 1997-03-31
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 250553
URI: http://eprints.soton.ac.uk/id/eprint/250553
ISBN: ISBN 3-540-62717-0
PURE UUID: ee15f654-268e-4c47-8ba1-e46904ba5972
Catalogue record
Date deposited: 14 Jun 1999
Last modified: 10 Dec 2021 20:10
Export record
Contributors
Author:
J. Hall
Author:
A. Martin
Editor:
J. P. Bowen
Editor:
M. G. Hinchey
Editor:
D. Till
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.