APA-Zitierstil (7. Ausg.)

(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.