| 2011 | ||
|---|---|---|
| j1 | Renato Silva, Carine Pascal, Thai Son Hoang, Michael Butler: Decomposition tool for event-B. Softw., Pract. Exper. 41(2): 199-208 (2011) | |
| 1 | Michael Butler | |
| 2 | Thai Son Hoang | |
| 3 | Renato Silva |
Data released under the ODC-BY 1.0 license — See also our legal information page