

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.
José Proença is a senior researcher at CISTER, ISEP, Portugal, working on formal models for component-based and critical systems.