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:
Organisations: Electronic & Software Systems
ePrint ID: 366750
Date :
Date Event
May 2015Published
Date Deposited: 10 Jul 2014 12:40
Last Modified: 17 Apr 2017 13:31
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/366750

Actions (login required)

View Item View Item