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)

Edited Book

Publication Date:

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.

Iris type:

04.08 Curatela di Atti di convegno

Keywords:

Formal methods

List of contributors:

TER BEEK, MAURICE HENRI

Authors of the University:

TER BEEK MAURICE HENRI

Handle:

https://iris.cnr.it/handle/20.500.14243/370993

Full Text:

https://iris.cnr.it//retrieve/handle/20.500.14243/370993/42007/prod_413191-doc_145453.pdf

Overview

URL

https://link.springer.com/book/10.1007/978-3-030-30942-8

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)

TER BEEK, MAURICE HENRI

Overview

URL