SpringerLink (Online service), Prevosto, V., & Seceleanu, C. (2023). Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings (1st ed. 2023.). Springer Nature Switzerland : Imprint: Springer. https://doi.org/10.1007/978-3-031-38828-6
Chicago Style (17. basım) AtıfSpringerLink (Online service), Virgile Prevosto, ve Cristina Seceleanu. Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings. 1st ed. 2023. Cham: Springer Nature Switzerland : Imprint: Springer, 2023. https://doi.org/10.1007/978-3-031-38828-6.
MLA (9th ed.) AtıfSpringerLink (Online service), et al. Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings. 1st ed. 2023. Springer Nature Switzerland : Imprint: Springer, 2023. https://doi.org/10.1007/978-3-031-38828-6.