Theoretical Aspects of Software Engineering : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings - Aït-Ameur, Yamine; Crăciun, Florin (Cham Springer International Publishing AG, 2022)