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 |