Butler, M. J. and Waldén, M. (1999) Parallel Programming with the B Method. Sekerinski, E. and Sere, K. (eds.) Program Development by Refinement - Case Studies Using the B Method, Springer FACIT Series. pp. 183-195 .
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: 250488
URI: http://eprints.soton.ac.uk/id/eprint/250488
ISBN: ISBN 1-85233-053-8
PURE UUID: a6b0cbad-0681-46e8-9533-edce5596d306
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:
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.