This volume contains the papers presented at FormaliSE 2023: the 11th International Conference on Formal Methods in Software engineering, co-located with ICSE 2023, the 45th International Conference on Software Engineering.
Message from the Chairs: FormaliSE 2023
Gnesi S;Ferrari A;Broccia G
2023
Abstract
This volume contains the papers presented at FormaliSE 2023: the 11th International Conference on Formal Methods in Software engineering, co-located with ICSE 2023, the 45th International Conference on Software Engineering.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_490378-doc_204318.pdf
accesso aperto
Descrizione: Message from the chairs FormaliSE 2023
Tipologia:
Versione Editoriale (PDF)
Dimensione
179.91 kB
Formato
Adobe PDF
|
179.91 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
