Tests and Proofs

MLA

Blanchette, and Nikolai Kosmatov. Tests and Proofs. Springer International Publishing, 2015.

APA

Blanchette, B., & Kosmatov, N. (2015). Tests and Proofs. Springer International Publishing.

Chicago

Blanchette, and Nikolai Kosmatov. Tests and Proofs. : Springer International Publishing, 2015.