| Original language | English |
|---|---|
| Journal | Formal Aspects of Computing |
| Volume | 22 |
| Issue number | 3-4 |
| DOIs | |
| Publication status | Published - 1 May 2010 |
Special issue dedicated to FASE'08
- J.L. Fiadeiro
- , P. Inverardi
- , T. Maibaum
Research output: Contribution to journal › Special issue › peer-review