APA (7th ed.) Citation

Gurevich, Y., & Meyer, B. (2007). Tests and Proofs: First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers. Springer e-books.

Chicago Style (17th ed.) Citation

Gurevich, Yuri, and Bertrand Meyer. "Tests and Proofs: First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers." Springer E-books 2007.

MLA (8th ed.) Citation

Gurevich, Yuri, and Bertrand Meyer. "Tests and Proofs: First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers." Springer E-books, 2007.