A Roadmap for the Rodin Toolset


Abrial, Jean-Raymond, Butler, Michael, Hallerstede, Stefan and Voisin, Laurent (2008) A Roadmap for the Rodin Toolset. In, Abstract State Machines, B and Z, First International Conference ABZ 2008 , 347.

Download

[img] PDF (1 page Abstract)
Download (50Kb)
[img] PDF (4 page version)
Download (81Kb)
Item Type: Conference or Workshop Item (Paper)
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 266769
Date Deposited: 07 Oct 2008 19:58
Last Modified: 27 Mar 2014 20:12
Further Information:Google Scholar
ISI Citation Count:1
URI: http://eprints.soton.ac.uk/id/eprint/266769

Actions (login required)

View Item View Item