Mikhailov, Leonid and Butler, Michael (2002) An Approach to Combining B and Alloy. ZB2002: Formal Specification and Development in Z and B, , Grenoble, France.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: January 2002
Additional Information:
Grenoble Address: Springer-Verlag
Venue - Dates:
ZB2002: Formal Specification and Development in Z and B, , Grenoble, France, 2002-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 256232
URI: http://eprints.soton.ac.uk/id/eprint/256232
PURE UUID: a65a96c2-b2ac-4531-b430-806222e4479e
Catalogue record
Date deposited: 04 Jan 2002
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Leonid Mikhailov
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.