José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Proceedings of FACS 2017
José Proença
,
Markus Lumpe
January 2017
Cite
DOI
Type
Book
Publication
Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Related
Lince: Lightweight Prototyping of Hybrid Programs
Verification of Real-Time Coordination in VirtuosoNext (extended version)
Proceedings of FOCLASA@CONCUR 2015
Proceedings of FOCLASA@CONCUR 2014
Proceedings of COORDINATION 2016
Cite
×