Penggayaan APA
Etessami, Kousha., Rajamani, Sriram K.. (2005).
Computer Aided Verification (1st ed.).
Berlin, Heidelberg:
Springer.
Chicago Style
Etessami, Kousha., Rajamani, Sriram K..
Computer Aided Verification.
1st ed.
Berlin, Heidelberg:
Springer,
2005.
E Book.
MLA Style
Etessami, Kousha., Rajamani, Sriram K..
Computer Aided Verification.
1st ed.
Berlin, Heidelberg:
Springer,
2005.
E Book.
Turabian Style
Etessami, Kousha., Rajamani, Sriram K..
Computer Aided Verification.
1st ed.
Berlin, Heidelberg:
Springer,
2005.
E Book.