Proceedings

• Jonathan P. Bowen, Andrea Turrini, editors, Engineering Trustworthy Software Systems - 7th International School, SETSS 2025, Beijing, China, May 17-23, 2025, Tutorial Lectures. Volume 16481 of Lecture Notes in Computer Science, Springer, 2026.