Theoretical aspects of software engineering 17th international symposium, TASE 2023, Bristol, UK, July 4–6, 2023, proceedings - David, Cristina; Sun, Meng (Springer, 2023)