Document - Message from the Chairs: FormaliSE 2023

2023

Contribution to conference 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

Cite as

BibTeX entry

@inproceedings{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}
}