Tests and Proofs

MLA

Gogolla, Martin, et al. Tests and Proofs. Springer Berlin Heidelberg, 2011.

APA

Gogolla, M., Kanade, T., Wolff, B., & Kittler, J. (2011). Tests and Proofs. Springer Berlin Heidelberg.

Chicago

Gogolla, Martin, Takeo Kanade, Burkhart Wolff, and Josef Kittler. Tests and Proofs. : Springer Berlin Heidelberg, 2011.