Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures - Bowen, Jonathan P.; Gomes, Cláudio; Liu, Zhiming (Lecture Notes in Computer Science, 2025)