A Roadmap for the Rodin Toolset


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

Download

[img] PDF 1page.pdf - Other
Download (51kB)
[img] PDF rodin.pdf - Other
Download (83kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: Abstract State Machines, B and Z, First International Conference ABZ 2008, 2008-09-01
Organisations: Electronic & Software Systems
ePrint ID: 266769
Date :
Date Event
September 2008Published
Date Deposited: 07 Oct 2008 19:58
Last Modified: 17 Apr 2017 18:59
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/266769

Actions (login required)

View Item View Item