You are about to access our book library "Theoretical Aspects of Software Engineering: 18th International Symposium, TASE 2024, Guiyang, China, July 29 – August 1, 2024, Proceedings (Lecture Notes in Computer Science Book 14777) full version" .