Abrial, Jean-Raymond, Butler, Michael, Hallerstede, Stefan and Voisin, Laurent (2008) A Roadmap for the Rodin Toolset. Abstract State Machines, B and Z, First International Conference ABZ 2008. p. 347 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: September 2008
Venue - Dates:
Abstract State Machines, B and Z, First International Conference ABZ 2008, 2008-09-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 266769
URI: http://eprints.soton.ac.uk/id/eprint/266769
PURE UUID: 8f097553-6b74-4eb1-ba5d-d39482480fc9
Catalogue record
Date deposited: 07 Oct 2008 19:58
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Jean-Raymond Abrial
Author:
Michael Butler
Author:
Stefan Hallerstede
Author:
Laurent Voisin
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.