Linking Event-B and Concurrent Object-Oriented Programs


Edmunds, Andrew and Butler, Michael (2008) Linking Event-B and Concurrent Object-Oriented Programs. In, Refine 2008 - International Refinement Workshop, Turku, finland,

Download

[img] PDF - Submitted Version
Download (222Kb)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: 27 May 2008
Related URLs:
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 266003
Date Deposited: 27 Jun 2008 08:42
Last Modified: 27 Mar 2014 20:11
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/266003

Actions (login required)

View Item View Item