Style de citation APA (7e éd.)

SpringerLink (Online service) & Hutchison, D. (2009). tests and proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings. Springer Berlin.

Style de citation Chicago (17e éd.)

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

Style de citation MLA (8e éd.)

SpringerLink (Online service) et David Hutchison. Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings. Springer Berlin, 2009.

Attention : ces citations peuvent ne pas être correctes à 100%.