Decomposition Structures for Event-B

Butler, Michael (2009) Decomposition Structures for Event-B. Integrated Formal Methods iFM2009, Springer, LNCS 5423.

Record type: Conference or Workshop Item (Paper)

Text

butler.pdf - Other

Download (813kB)

More information

Published date: February 2009

Venue - Dates: Integrated Formal Methods iFM2009, Springer, LNCS 5423, 2009-02-01

Related URLs:

Organisations: Electronic & Software Systems

Local EPrints ID: 266965

URI: http://eprints.soton.ac.uk/id/eprint/266965

PURE UUID: 1636f1ef-6485-4e15-8e1b-95a0f685984d

ORCID for Michael Butler:

orcid.org/0000-0003-4642-5373

Date deposited: 04 Dec 2008 11:11

Last modified: 15 Mar 2024 02:50

Author: Michael Butler

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.