Qin, L., Feng, J. & Miao, W., 2027, Theoretical Aspects of Software Engineering - 20th International Symposium, TASE 2026, Proceedings. De Giacomo, G., Li, J. & Xiao, L. (编辑). Springer Science and Business Media Deutschland GmbH, 页码 286-30419 页码 (Lecture Notes in Computer Science; 卷 16697 LNCS).