José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Special Issue of COORDINATION and FORTE 2016
Elvira Albert
,
Ivan Lanese
,
Alberto Lluch-Lafuente
,
José Proença
January 2017
Cite
LMCS
Type
Book
Publication
Logical Methods in Computer Science, Episciences, Volume 13, 2017
Related
Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)
Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems
Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021
Cite
×