Data di Pubblicazione:
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.
Tipologia CRIS:
04.08 Curatela di Atti di convegno
Keywords:
Formal Methods; Preface
Elenco autori:
Broccia, Giovanna; Gnesi, Stefania; Ferrari, Alessio
Link alla scheda completa: