Butler, Michael (2016) Lectures on Modelling and Verification in Event-B. Spring School on Engineering Trustworthy Software Systems 2016, Chongqinq, China.
Record type:
Conference or Workshop Item
(Other)
More information
Published date: March 2016
Venue - Dates:
Spring School on Engineering Trustworthy Software Systems 2016, Chongqinq, China, 2016-03-01
Related URLs:
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 390481
URI: http://eprints.soton.ac.uk/id/eprint/390481
PURE UUID: 67b47fee-bb06-42db-a421-999fc2707ca5
Catalogue record
Date deposited: 29 Mar 2016 07:18
Last modified: 15 Mar 2024 02:50
Export record
Contributors
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.