Proceedings of ETAPS 2023

The proceedings are published as Gold Open Access by Springer.