Theoretical Aspects of Software Engineering 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings Aït-Ameur, Yamine Heftet / 2022 / Engelsk