Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023 ENGLISH · PDF View details →