Gaya APA
Veanes, M., Viganò, L.
(2013).
Tests and Proofs
.
Springer Berlin Heidelberg:
Springer.
Gaya MLA
Veanes, Margus., Viganò, Luca.
"Tests and Proofs".
Springer Berlin Heidelberg:
Springer,
2013.
E-Book.