APA (7th ed.) Citation

SpringerLink (Online service) & Dubois, C. (2009). Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings. Springer Berlin Heidelberg : Imprint: Springer.

Chicago Style (17th ed.) Citation

SpringerLink (Online service) and Catherine Dubois. Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2009.

MLA (8th ed.) Citation

SpringerLink (Online service) and Catherine Dubois. Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings. Springer Berlin Heidelberg : Imprint: Springer, 2009.