| Original language | English |
|---|---|
| Journal | Formal Aspects of Computing |
| Volume | 19 |
| Issue | 4 |
| Pages (from-to) | 415–416 |
| Number of pages | 2 |
| ISSN | 0934-5043 |
| DOIs | |
| Publication status | Published - 5 Oct 2007 |
| Externally published | Yes |
Editorial
Cliff Jones, James Woodcock*
*Corresponding author for this work
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review