Theory plug-in for Rodin 3.x


Hoang, Son, Salehi Fathabadi, Asieh, Butler, Michael and Voisin, Laurent (2016) Theory plug-in for Rodin 3.x At 6th Rodin User and Developer Workshop, Austria. 23 May 2016. 2 pp.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (Other)
Venue - Dates: 6th Rodin User and Developer Workshop, Austria, 2016-05-23 - 2016-05-23
Related URLs:
Organisations: Electronic & Software Systems
ePrint ID: 405494
Date :
Date Event
23 May 2016e-pub ahead of print
Date Deposited: 07 Feb 2017 09:59
Last Modified: 07 Jun 2017 04:04
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/405494

Actions (login required)

View Item View Item