(2009). Tests and proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2 - 3, 2009 ; proceedings. Springer.
Chicago Style (17th ed.) CitationTests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2 - 3, 2009 ; Proceedings. Berlin ; Heidelberg [u.a.]: Springer, 2009.
MLA (9th ed.) CitationTests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2 - 3, 2009 ; Proceedings. Springer, 2009.
Warning: These citations may not always be 100% accurate.