Distributed System Development in B
Distributed System Development in B
ISBN 2-906082-25-2
155-168
Butler, M. J.
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Waldén, M.
5f0ba1ab-2821-4e68-b191-1957b971545a
Habrias, H.
0d98f66f-5941-42f3-a1da-6dd418e7a714
November 1996
Butler, M. J.
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Waldén, M.
5f0ba1ab-2821-4e68-b191-1957b971545a
Habrias, H.
0d98f66f-5941-42f3-a1da-6dd418e7a714
Butler, M. J. and Waldén, M.
(1996)
Distributed System Development in B.
Habrias, H.
(ed.)
Proc. First B Conf..
.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: November 1996
Additional Information:
Address: Nantes, France
Venue - Dates:
Proc. First B Conf., 1996-11-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 250580
URI: http://eprints.soton.ac.uk/id/eprint/250580
ISBN: ISBN 2-906082-25-2
PURE UUID: 67518396-93b0-494b-a17c-33fc137b0a34
Catalogue record
Date deposited: 14 Jun 1999
Last modified: 11 Dec 2021 03:09
Export record
Contributors
Author:
M. J. Butler
Author:
M. Waldén
Editor:
H. Habrias
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.
View more statistics