TAP 2007 Zurich, Switzerland, SpringerLink (Online service), Gurevich, Y., & Meyer, B. (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.) CitationTAP 2007 Zurich, Switzerland, SpringerLink (Online service), Yuri Gurevich, and Bertrand Meyer. Tests and Proofs: First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : Revised Papers. Berlin ; New York: Springer, 2007. https://doi.org/10.1007/978-3-540-73770-4.
MLA (9th ed.) CitationTAP 2007 Zurich, Switzerland, et al. Tests 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.