Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings

MLA

Prevosto, Virgile, and Cristina Seceleanu. Tests and Proofs : 17th International Conference, Tap 2023, Leicester, Uk, July 18-19, 2023, Proceedings. Cham: Springer International Publishing AG, 2023.

APA

Prevosto, V., & Seceleanu, C. (2023). Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings. Cham: Springer International Publishing AG.

Chicago

Prevosto, Virgile., and Cristina Seceleanu. Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings. Cham: Springer International Publishing AG, 2023.