Hoang, Thai Son and Fürst, Andreas and Abrial, Jean-Raymond (2011) Event-B Patterns and Their Tool Support. Software and Systems Modelling .
Full text not available from this repository.
Official URL: http://dx.doi.org/10.1007/s10270-010-0183-7
| Item Type: | Article |
|---|---|
| Subjects: | Methodology > Composition and reuse Tool developments > Rodin plug-ins |
| ID Code: | 412 |
| Deposited By: | Thai Son Hoang |
| Deposited On: | 09 Jul 2012 14:10 |
| Last Modified: | 09 Jul 2012 14:39 |
Repository Staff Only: item control page
