Gondal, Ali and Poppleton, Mike and Butler, Michael (2011) Composing Event-B Specifications - Case-Study Experience. In: 10th International Conference on Software Composition.
Full text not available from this repository.
Official URL: http://eprints.soton.ac.uk/271988/
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Event Dates: 30 June ? 1 July, 2011 |
| Subjects: | Methodology > Composition and reuse |
| ID Code: | 426 |
| Deposited By: | Michael Butler |
| Deposited On: | 23 Jul 2012 06:31 |
| Last Modified: | 23 Jul 2012 06:31 |
Repository Staff Only: item control page
