publicações selecionadas
-
artigo académico
- Usabilidade em interfaces para crianças. Jornal de Ciências Cognitivas. 2006
-
artigo de revista
- Model Checking Interactor Specifications. Automated Software Engineering. 2001
- Representational Reasoning and Verification. Formal Aspects of Computing. 2000
-
capítulo de livro
-
documento