Gaya APA
Sharygina, N., Veith, H.
(2013).
Computer Aided Verification
.
Springer Berlin Heidelberg:
Springer.
Gaya MLA
Sharygina, Natasha., Veith, Helmut.
"Computer Aided Verification".
Springer Berlin Heidelberg:
Springer,
2013.
E-Book.