The University of Southampton
University of Southampton Institutional Repository

A Roadmap for the Rodin Toolset

A Roadmap for the Rodin Toolset
A Roadmap for the Rodin Toolset
347
Abrial, Jean-Raymond
5a25086f-b148-416d-b13e-3e3afd2764f7
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Hallerstede, Stefan
f3ea39f5-26c7-42da-ae5e-7c91209ac20d
Voisin, Laurent
4a04ec98-15d4-4e0a-8364-717c234bd69c
Abrial, Jean-Raymond
5a25086f-b148-416d-b13e-3e3afd2764f7
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Hallerstede, Stefan
f3ea39f5-26c7-42da-ae5e-7c91209ac20d
Voisin, Laurent
4a04ec98-15d4-4e0a-8364-717c234bd69c

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)
Text
1page.pdf - Other
Download (51kB)
Text
rodin.pdf - Other
Download (83kB)

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
ORCID for Michael Butler: ORCID iD orcid.org/0000-0003-4642-5373

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 ORCID iD
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.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×