Butler, Michael, Salehi Fathabadi, Asieh and Silva, Renato (2012) Event-B and Rodin. In, Boulanger, Jean-Louis (ed.) Industrial Use of Formal Methods: Formal Verification. Chichester, GB. ISTE; Wiley, pp. 215-245.
Record type:
Book Section
More information
Published date: June 2012
Related URLs:
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 340229
URI: http://eprints.soton.ac.uk/id/eprint/340229
ISBN: 9781848213630
PURE UUID: d55230d5-9c31-4f3c-b3ad-b23bfb29efe8
Catalogue record
Date deposited: 14 Jun 2012 15:35
Last modified: 15 Mar 2024 03:36
Export record
Contributors
Author:
Michael Butler
Author:
Asieh Salehi Fathabadi
Author:
Renato Silva
Editor:
Jean-Louis Boulanger
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.