Jian, Kunpeng http://orcid.org/0009-0002-8304-1045
Zou, Yanyan http://orcid.org/0000-0003-4787-4832
Li, Yeting http://orcid.org/0000-0003-0991-4231
Cao, Jialun http://orcid.org/0000-0003-4892-6294
Li, Menghao http://orcid.org/0000-0002-5333-7630
Sun, Jian http://orcid.org/0009-0006-9443-4046
Shi, Jingyi http://orcid.org/0009-0005-9549-5644
Huo, Wei http://orcid.org/0009-0000-7121-1196
Chapter History
First Online: 14 July 2024
Conference Information
Conference Acronym: TASE
Conference Name: International Symposium on Theoretical Aspects of Software Engineering
Conference City: Guiyang
Conference Country: China
Conference Year: 2024
Conference Start Date: 29 July 2024
Conference End Date: 1 August 2024
Conference Number: 18
Conference ID: tase2024
Conference URL: https://tase2024.github.io/