Snook, Colin and Butler, Michael (2008) UML-B: A plug-in for the Event-B tool set. Abstract State Machines, B and Z, First International Conference ABZ 2008. p. 347 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: September 2008
Venue - Dates:
Abstract State Machines, B and Z, First International Conference ABZ 2008, 2008-09-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 266770
URI: http://eprints.soton.ac.uk/id/eprint/266770
PURE UUID: edc2d76a-5a35-4484-9277-36d433388ad2
Catalogue record
Date deposited: 07 Oct 2008 20:52
Last modified: 15 Mar 2024 03:12
Export record
Contributors
Author:
Colin Snook
Author:
Michael Butler
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.