(2009). Tests and proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2 - 3, 2009 ; proceedings. Springer. https://doi.org/10.1007/978-3-642-02949-3
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. https://doi.org/10.1007/978-3-642-02949-3.
MLA (9th ed.) CitationTests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2 - 3, 2009 ; Proceedings. Springer, 2009. https://doi.org/10.1007/978-3-642-02949-3.
Warning: These citations may not always be 100% accurate.