Butler, M. J. (1999) Distributed Electronic Mail System. Sekerinski, E. and Sere, K. (eds.) Program Development by Refinement - Case Studies Using the B Method, Springer FACIT Series. pp. 301-322 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 1999
Venue - Dates:
Program Development by Refinement - Case Studies Using the B Method, Springer FACIT Series, 1999-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 250487
URI: http://eprints.soton.ac.uk/id/eprint/250487
ISBN: ISBN 1-85233-053-8
PURE UUID: 30ad90a5-180d-4871-af62-3ef8e2baee92
Catalogue record
Date deposited: 14 Jun 1999
Last modified: 11 Dec 2021 03:09
Export record
Contributors
Author:
M. J. Butler
Editor:
E. Sekerinski
Editor:
K. Sere
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.