Theory plug-in for Rodin 3.x
Theory plug-in for Rodin 3.x
Hoang, Thai Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Salehi Fathabadi, Asieh
b799ee35-4032-4e7c-b4b2-34109af8aa75
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Voisin, Laurent
4a04ec98-15d4-4e0a-8364-717c234bd69c
Hoang, Thai Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Salehi Fathabadi, Asieh
b799ee35-4032-4e7c-b4b2-34109af8aa75
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Voisin, Laurent
4a04ec98-15d4-4e0a-8364-717c234bd69c
Hoang, Thai Son, Salehi Fathabadi, Asieh, Butler, Michael and Voisin, Laurent
(2016)
Theory plug-in for Rodin 3.x.
6th Rodin User and Developer Workshop, Linz, Austria.
22 May 2016.
2 pp
.
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
e-pub ahead of print date: 23 May 2016
Venue - Dates:
6th Rodin User and Developer Workshop, Linz, Austria, 2016-05-22 - 2016-05-22
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 405494
URI: http://eprints.soton.ac.uk/id/eprint/405494
PURE UUID: c61fd753-4c48-4a42-ac45-13d0e87315b9
Catalogue record
Date deposited: 07 Feb 2017 09:59
Last modified: 25 May 2022 01:41
Export record
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