APA-Zitierstil (7. Ausg.)

(2015). Tests and Proofs: 9th international conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22 - 24, 2015 ; proceedings. Springer. https://doi.org/10.1007/978-3-319-21215-9

Chicago-Zitierstil (17. Ausg.)

Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22 - 24, 2015 ; Proceedings. Cham: Springer, 2015. https://doi.org/10.1007/978-3-319-21215-9.

MLA-Zitierstil (9. Ausg.)

Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22 - 24, 2015 ; Proceedings. Springer, 2015. https://doi.org/10.1007/978-3-319-21215-9.