Klee (07/2018-now)
Klee logo
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.
Klee logo
Klee logo
Klee logoJosé Proença is a senior researcher at CISTER, ISEP, Portugal, working on formal models for component-based and critical systems.