Georgiana Caltais' paper accepted at TASE 2022, July 8-10, in Cluj-Napoca, Romania

see for more info on The 16th International Symposium on Theoretical Aspects of Software Engineering: https://www.cs.ubbcluj.ro/tase2022/index.htm