Tests and Proofs

MLA

Gurevich, Yuri, et al. Tests and Proofs. Springer Berlin Heidelberg, 2007.

APA

Gurevich, Y., Kanade, T., Meyer, B., & Kittler, J. (2007). Tests and Proofs. Springer Berlin Heidelberg.

Chicago

Gurevich, Yuri, Takeo Kanade, Bertrand Meyer, and Josef Kittler. Tests and Proofs. : Springer Berlin Heidelberg, 2007.