Tests and Proofs

MLA

Veanes, Margus; Vigano, Luca, and Luca Vigano. Tests and Proofs. Springer Berlin Heidelberg, 2013.

APA

Veanes, L., & Vigano, L. (2013). Tests and Proofs. Springer Berlin Heidelberg.

Chicago

Veanes, Margus; Vigano, Luca, and Luca Vigano. Tests and Proofs. : Springer Berlin Heidelberg, 2013.