Fathabadi, Asieh Salehi and Butler, Michael and Rezazadeh, Abdolbaghi (2012) A Systematic Approach to Atomicity Decomposition in Event-B. In: SEFM.
Full text not available from this repository.
Official URL: http://eprints.soton.ac.uk/340356/
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | ADVANCE Project Event-B |
| ID Code: | 425 |
| Deposited By: | Michael Butler |
| Deposited On: | 23 Jul 2012 06:29 |
| Last Modified: | 11 Sep 2012 18:36 |
Repository Staff Only: item control page
