Language and tool support for event refinement structures in Event-B


Salehi Fathabadi, Asieh, Butler, Michael and Rezazadeh, Abdolbaghi (2015) Language and tool support for event refinement structures in Event-B Formal Aspects of Computing, 27, (3), pp. 499-523.

Download

[img] PDF paper.pdf - Other
Download (1MB)
Item Type: Article
Related URLs:
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Organisations: Electronic & Software Systems
ePrint ID: 366750
Date :
Date Event
May 2015Published
Date Deposited: 10 Jul 2014 12:40
Last Modified: 22 Feb 2017 23:48
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/366750

Actions (login required)

View Item View Item