José Proença profile picture

José Proença

Software Engineering and Formal Methods: SEFM 2024 Collocated Workshops ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers
Formal Aspects of Component Software
Aconteceu Casos da Vida Ficcionados (Portuguese Edition)
Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Formal Aspects of Component Software 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings
Formal Aspects of Component Software
Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Coordination Models and Languages
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops