| Original language | English |
|---|---|
| Journal | Formal Aspects of Computing |
| Volume | 21 |
| Issue | 4 |
| Number of pages | 1 |
| ISSN | 0934-5043 |
| DOIs | |
| Publication status | Published - 16 Jun 2009 |
| Externally published | Yes |
Editorial
Richard Freeman Paige*, Phillip J. Brooke, Jin Song Dong, James Woodcock
*Corresponding author for this work
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Editorial › peer-review