FOCLASA 2018 @ STAF/SEFM

Affiliated to STAF/SEFM

José Proença
José Proença
Senior Researcher

José Proença is a senior researcher at CISTER, ISEP, Portugal, working on formal models for component-based and critical systems.