APA (7th ed.) Citation

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 Style (17th ed.) Citation

SpringerLink (Online service), Jasmin Christian Blanchette, and 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 ed.) Citation

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.