Butler, Michael, Petre, Luigia and Sere, Kaisa (2002) Integrated Formal Methods 2002 , vol. LNCS 2, Springer
Record type:
Book
This record has no associated files available for download.
More information
Published date: 2002
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 258677
URI: http://eprints.soton.ac.uk/id/eprint/258677
ISBN: ISBN 3-540-43703-7
PURE UUID: f7fe9846-02a2-46ec-87f3-88f3ef3fcbb9
Catalogue record
Date deposited: 12 Dec 2003
Last modified: 10 Dec 2021 20:57
Export record
Contributors
Author:
Michael Butler
Author:
Luigia Petre
Author:
Kaisa Sere
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.