Welcome to FormaliSE 2019, the 7th International Conference on Formal Methods in Software Engineering. FormaliSE is a yearly conference on Formal Methods in Software Engineering. (https://www.formalise.org/). It is organized by FME (Formal Methods Europe). FormaliSE is co-located with ICSE (International Conference on Software Engineering) 2019 (https://conf.researchr.org/home/icse-2019).
Message from the Chairs of FormaliSE 2019
Gnesi S;
2019
Abstract
Welcome to FormaliSE 2019, the 7th International Conference on Formal Methods in Software Engineering. FormaliSE is a yearly conference on Formal Methods in Software Engineering. (https://www.formalise.org/). It is organized by FME (Formal Methods Europe). FormaliSE is co-located with ICSE (International Conference on Software Engineering) 2019 (https://conf.researchr.org/home/icse-2019).File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_446379-doc_160484.pdf
accesso aperto
Descrizione: Message from the Chairs of FormaliSE 2019
Tipologia:
Versione Editoriale (PDF)
Dimensione
79.14 kB
Formato
Adobe PDF
|
79.14 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
