Software Fault Prevention, Verification, and Validation Second International Symposium, SFPVV 2025, Shanghai, China, November 8–9, 2025, Proceedings Chen, Yuting Heftet / 2026 / Engelsk
