CNR Institutional Research Information System

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.
2023
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Inglese
VII
VII
9798350312638
https://ieeexplore.ieee.org/document/10164713
cod. Scopus: 2-s2.0-85165185046
Formal Methods
Preface
2-s2.0-85165185046
6
04 Contributo in convegno::04.08 Curatela di Atti di convegno
Gnesi, S; Plat, N; Jakobs, M C; Murray, T; Ferrari, A; Broccia, G
284
info:eu-repo/semantics/other
open
04.08 Curatela di Atti di convegno
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
Visualizza/Apri
179.91 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/452247
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact