Butler, Michael and Schulte, Wolfram (2011) FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011 , Springer
Record type:
Book
This record has no associated files available for download.
More information
Published date: 2011
Related URLs:
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 272536
URI: http://eprints.soton.ac.uk/id/eprint/272536
PURE UUID: 16aae15f-cba5-4896-9fe7-8d9ba53e1f37
Catalogue record
Date deposited: 04 Jul 2011 09:10
Last modified: 11 Dec 2021 03:10
Export record
Contributors
Author:
Michael Butler
Author:
Wolfram Schulte
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.