Tests and Proofs : 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings

MLA

Huisman, Marieke, and Falk Howar. Tests and Proofs : 18th International Conference, Tap 2024, Milan, Italy, September 9-10, 2024, Proceedings. Cham: Springer, 2024.

APA

Huisman, M., & Howar, F. (2024). Tests and Proofs : 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings. Cham: Springer.

Chicago

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