You are about to access our book library "Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings (Lecture Notes in Computer Science Book 15153) full version" .