Fax: +351-253510189 

E-mail: Carla.Ferreira@dei.uminho.pt 

Home-Page: http://www.dei.uminho.pt/~carla 

Interests: Formal Specification, Heterogeneous Specification Methodologies, Hardware/Software Co-Design