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