Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings by Marieke Huisman Back to product details page >
