Martin, A. P. (1999) Relating Z and first-order logic. Wing, J. M., Woodcock, J. and Davies, J. (eds.) Proc. FM'99: World Congress on Formal Methods. pp. 1266-1280 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: September 1999
Additional Information:
Address: Toulouse, France
Venue - Dates:
Proc. FM'99: World Congress on Formal Methods, 1999-08-31
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 250892
URI: http://eprints.soton.ac.uk/id/eprint/250892
ISBN: 3-540-66587-0
PURE UUID: c90d9a57-b096-4cc0-811c-cd05a8b96c37
Catalogue record
Date deposited: 10 Mar 2000
Last modified: 08 Jan 2022 05:39
Export record
Contributors
Author:
A. P. Martin
Editor:
J. M. Wing
Editor:
J. Woodcock
Editor:
J. Davies
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.