José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
0
Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings
Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021
Cite
×