(2023). Tests and Proofs 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings / edited by Virgile Prevosto, Cristina Seceleanu. [electronic resource].
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումTests and Proofs 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings / Edited by Virgile Prevosto, Cristina Seceleanu. [electronic Resource]. 2023.
MLA (9րդ խմբ.) ՄեջբերումTests and Proofs 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings / Edited by Virgile Prevosto, Cristina Seceleanu. [electronic Resource]. 2023.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.