(2011). Tests and proofs: 5th international conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011 ; proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)Tests and Proofs: 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011 ; Proceedings. Berlin [u.a.]: Springer, 2011.
MLA-Zitierstil (9. Ausg.)Tests and Proofs: 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011 ; Proceedings. Springer, 2011.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.