Börger, Egon, Butler, Michael, Bowen, Jonathan P. and Boca, Paul (2008) Abstract State Machines, B and Z - First International Conference ABZ 2008 (LNCS, 5238), vol. 5238, Springer
Record type:
Book
This record has no associated files available for download.
More information
Published date: September 2008
Related URLs:
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 266767
URI: http://eprints.soton.ac.uk/id/eprint/266767
ISBN: 978-3-540-87602-1
PURE UUID: fd32e544-526c-41fe-a69d-e732799d93e4
Catalogue record
Date deposited: 07 Oct 2008 19:44
Last modified: 09 Jan 2022 02:49
Export record
Contributors
Author:
Egon Börger
Author:
Michael Butler
Author:
Jonathan P. Bowen
Author:
Paul Boca
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.