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
|
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 and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 266003 |
| Date Deposited: | 27 Jun 2008 08:42 |
| Last Modified: | 01 Mar 2012 18:15 |
| Contributors: | Edmunds, Andrew (Author) Butler, Michael (Author) |
| Date: | May 2008 |
| Additional Information: | Event Dates: 27 May 2008 |
| Status: | Published |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/266003 |
Actions (login required)
![]() |
View Item |


