You are about to access our book library "Software Fault Prevention, Verification, and Validation: First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings (Lecture Notes in Computer Science Book 15393) full version"
.