| |
| 2006 | ||
|---|---|---|
| 2 | EE | Angela Freitas, Ana Cavalcanti: Automatic Translation from Circus to Java. FM 2006: 115-130 |
| 2003 | ||
| 1 | EE | Angela Freitas, Carla Nascimento, Ana Cavalcanti: A Refinement Tool for Z. ICFEM 2003: 396-415 |
| 1 | Ana Cavalcanti | [1] [2] |
| 2 | Carla Nascimento | [1] |