Tool Exhibition at FM 2019

Event Tool Exhibition of the 3rd World Congress on Formal Methods
Where Porto (Portugal)
When 7 – 11 October, 2019
Event Website http://formalmethods2019.inesctec.pt/?page_id=2101
Involved Partners
Benefits & Target PhD Students, Academic and Industrial researchers in Formal Methods
Documents & Material

Project Information

Start Date:
2017-01-01
Duration:
3 years
Topics:

Key Personnel

Coordinator:
Scientific Coordinator:
Innovation Manager:
Dissemination and Communication Manager:

Quick Links

Latest Tweets

EU © 2017 CERBERO | All Rights Reserved | Project ID: 732105, Funded under: H2020-EU.2.1.1. - INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies - Information and Communication Technologies (ICT).