José Proença

Books
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
2025
Formal Aspects of Component Software Formal Aspects of Component Software
Formal Aspects of Component Software
2022
Formal Aspects of Component Software Formal Aspects of Component Software
Formal Aspects of Component Software
2017
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
2016