Butler, M. J. (1999) csp2B: A Practical Approach to Combining CSP and B. Wing, J. M., Woodcock, J. and Davies, J. (eds.) Proc. FM'99: World Congress on Formal Methods. pp. 490-508 .
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: Berlin
Venue - Dates:
Proc. FM'99: World Congress on Formal Methods, 1999-08-31
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 250486
URI: http://eprints.soton.ac.uk/id/eprint/250486
ISBN: 3-540-66587-0
PURE UUID: cc286c9a-cc51-417c-b44c-08b27a5918c4
Catalogue record
Date deposited: 30 Sep 1999
Last modified: 08 Jan 2022 02:43
Export record
Contributors
Author:
M. J. Butler
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.