Butler, Michael and Leuschel, Michael (2005) Combining CSP and B for Specification and Property Verification. Fitzgerald, John, Hayes, Ian and Tarlecki, Andrzej (eds.) Formal Methods 2005, Newcastle upon Tyne. 18 - 22 Jul 2005. pp. 221-236 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: January 2005
Additional Information:
Event Dates: 18-22 July 2005
Venue - Dates:
Formal Methods 2005, Newcastle upon Tyne, 2005-07-18 - 2005-07-22
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 260388
URI: http://eprints.soton.ac.uk/id/eprint/260388
PURE UUID: 696d23f8-b616-4c17-8d79-e186f7ce0213
Catalogue record
Date deposited: 27 Jan 2005
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Michael Butler
Author:
Michael Leuschel
Editor:
John Fitzgerald
Editor:
Ian Hayes
Editor:
Andrzej Tarlecki
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.