Welcome to FormaliSE 2020, the 8th 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) 2020 (https://conf.researchr.org/home/icse-2020).
Message from the chairs formaliSE 2020
Gnesi S;
2020
Abstract
Welcome to FormaliSE 2020, the 8th 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) 2020 (https://conf.researchr.org/home/icse-2020).File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_446374-doc_160481.pdf
accesso aperto
Descrizione: Message from the chairs formaliSE 2020
Tipologia:
Versione Editoriale (PDF)
Dimensione
80.02 kB
Formato
Adobe PDF
|
80.02 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.