SpringerLink (Online service), Blanchette, J. C., & Kosmatov, N. (2015). Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings. Springer International Publishing : Imprint: Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Jasmin Christian Blanchette, και Nikolai Kosmatov. Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings. Cham: Springer International Publishing : Imprint: Springer, 2015.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings. Springer International Publishing : Imprint: Springer, 2015.
