Research Team

Alysson N. Bessani
Miguel P. Correia (Project Coordinator)
Nuno F. Neves
Hans P. Reiser
Paulo J. Sousa

Francisco Rocha

João Sousa

João Félix
Hélio Filipe