(2007). Tests and proofs: First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 ; revised papers. Springer. https://doi.org/10.1007/978-3-540-73770-4
Chicago Style (17th ed.) CitationTests and Proofs: First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 ; Revised Papers. Berlin [u.a.]: Springer, 2007. https://doi.org/10.1007/978-3-540-73770-4.
MLA (9th ed.) CitationTests and Proofs: First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 ; Revised Papers. Springer, 2007. https://doi.org/10.1007/978-3-540-73770-4.
Warning: These citations may not always be 100% accurate.