Theory plug-in for Rodin 3.x


Hoang, Son, Voisin, Laurent, Salehi Fathabadi, Asieh, Butler, Michael, Wilkinson, Toby and Beauger, Nicolas (2017) Theory plug-in for Rodin 3.x Computing Research Repository, abs/1701.08625, pp. 1-9.

Download

[img] PDF 1701.08625v1.pdf - Author's Original
Download (500kB)
Item Type: Article
Related URLs:
Organisations: Electronics & Computer Science
ePrint ID: 405475
Date :
Date Event
4 January 2017e-pub ahead of print
Date Deposited: 07 Feb 2017 09:46
Last Modified: 22 Feb 2017 01:56
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/405475

Actions (login required)

View Item View Item