| |
| 2008 | ||
|---|---|---|
| 3 | EE | Manuela Xavier, Ana Cavalcanti, Augusto Sampaio: Type Checking Circus Specifications. Electr. Notes Theor. Comput. Sci. 195: 75-93 (2008) |
| 2007 | ||
| 2 | EE | Manuela Xavier, Ana Cavalcanti: Mechanised Refinement of Procedures. Electr. Notes Theor. Comput. Sci. 184: 63-80 (2007) |
| 2004 | ||
| 1 | EE | Marcel Oliveira, Manuela Xavier, Ana Cavalcanti: Refine and Gabriel: Support for Refinement and Tactics. SEFM 2004: 310-319 |
| 1 | Ana Cavalcanti | [1] [2] [3] |
| 2 | Marcel Oliveira | [1] |
| 3 | Augusto Sampaio | [3] |