Gaya APA
Etessami, K., Rajamani, S, K.
(2005).
Computer Aided Verification
(
1st ed.)
.
Berlin, Heidelberg:
Springer.
Gaya MLA
Etessami, Kousha.., Rajamani, Sriram, K..
"Computer Aided Verification".
1st ed.
Berlin, Heidelberg:
Springer,
2005.
E Book.