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.
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 MH;
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_413191-doc_145453.pdf
accesso aperto
Descrizione: Preface
Tipologia:
Versione Editoriale (PDF)
Dimensione
916.34 kB
Formato
Adobe PDF
|
916.34 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
