Conference. TASE '23: 17th International Symposium on Theoretical Aspects of Software Engineering [tase23]July 2023Bristol, United Kingdom10.1007/978-3-031-35257-7https://plrg-bristol.github.io/tase2023/index.html