| 2009 | ||
|---|---|---|
| 3 | Helen Treharne, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos: Automatic Generation of Integrated Formal Models Corresponding to UML System Models. TOOLS (47) 2009: 357-367 | |
| 2008 | ||
| 2 | Helen Treharne, Edward Turner, Steve Schneider, Neil Evans: Object Modelling in the SystemB Industrial Project. ABZ 2008: 359 | |
| 1 | Edward Turner, Helen Treharne, Steve Schneider, Neil Evans: Automatic Generation of CSP || B Skeletons from xUML Models. ICTAC 2008: 364-379 | |
| 1 | Neil Evans | [1] [2] |
| 2 | Dimitrios S. Kolovos | [3] |
| 3 | Richard F. Paige | [3] |
| 4 | Steve A. Schneider (Steve Schneider) | [1] [2] |
| 5 | Helen Treharne | [1] [2] [3] |