Research projects

1995 - 2012 - Álgebra de Refinamentos e Aplicações - Projeto de Produtividade em Pesquisa (PQ)

1995 - 1997 - Projeto Integrado de Software e Hardware (PISH)

1994 - 1997 - Provably Correct Systems (Keep-in-Touch Activity, funded by the European Comission)

Veja mais: 1234