Butler, Michael, Hinchey, Michael G. and Larrondo-Petrie, María M. (eds.) (2007) Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007 (Lecture Notes in Computer Science, 4789), vol. 4789, Springer
Record type:
Book
This record has no associated files available for download.
More information
Published date: November 2007
Additional Information:
Bocan Raton, Florida, 14+15 November 2007.
Related URLs:
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 264895
URI: http://eprints.soton.ac.uk/id/eprint/264895
ISBN: 978-3-540-76648-3
PURE UUID: b88f84df-669b-4f5a-b7ad-d9088e0d5696
Catalogue record
Date deposited: 26 Nov 2007 09:54
Last modified: 08 Jan 2022 02:43
Export record
Contributors
Editor:
Michael Butler
Editor:
Michael G. Hinchey
Editor:
María M. Larrondo-Petrie
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.