Tests and Proofs : 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings - Huisman, Marieke; Howar, Falk (Cham Springer, 2024)