2023
Book
Open Access
Message from the Chairs: FormaliSE 2023
Gnesi S, Plat N, Jakobs M C, Murray T, Ferrari A, Broccia G
Formal Methods Preface
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.
Metrics
Back to previous page
BibTeX entry
@book{oai:it.cnr:prodotti:490378,
title = {Message from the Chairs: FormaliSE 2023},
author = {Gnesi S and Plat N and Jakobs M C and Murray T and Ferrari A and Broccia G},
doi = {10.1109/formalise58978.2023.00005},
year = {2023}
}
0000-0002-4737-5761CNR IRIS
DOI
Bibliographic record
Deposited version
DOI
10.1109/formalise58978.2023.00005