Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings David, Cristina Heftet / 2023 / Engelsk
