17th International Conference on Formal Engineering Methods, ICFEM 2015
17th International Conference on Formal Engineering Methods, ICFEM 2015
978-3-319-25423-4
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Conchon, Sylvain
cc9ace4e-d8ff-4d57-9804-c1824fa79db6
Zaïdi, Fatiha
800369a6-475b-4901-8e2d-025033ed3b26
November 2015
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Conchon, Sylvain
cc9ace4e-d8ff-4d57-9804-c1824fa79db6
Zaïdi, Fatiha
800369a6-475b-4901-8e2d-025033ed3b26
Butler, Michael, Conchon, Sylvain and Zaïdi, Fatiha
(eds.)
(2015)
17th International Conference on Formal Engineering Methods, ICFEM 2015
(Lecture Notes in Computer Science, 9407),
vol. 9407,
Springer
This record has no associated files available for download.
More information
Published date: November 2015
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 383625
URI: http://eprints.soton.ac.uk/id/eprint/383625
ISBN: 978-3-319-25423-4
PURE UUID: e38bb316-2457-4436-800a-650a2478cff1
Catalogue record
Date deposited: 05 Nov 2015 13:08
Last modified: 15 Mar 2024 02:50
Export record
Altmetrics
Contributors
Editor:
Michael Butler
Editor:
Sylvain Conchon
Editor:
Fatiha Zaïdi
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.
View more statistics