Formal Methods -- The Next 30 Years -- Proceedings of the 23rd Symposium on Formal Methods in the form of the 3rd World Congress on Formal Methods (FM'19)

Curatela
Data di Pubblicazione:
2019
Abstract:
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.
Tipologia CRIS:
04.08 Curatela di Atti di convegno
Keywords:
Formal methods
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/370993
Link al Full Text: