Penggayaan APA
Peled, Doron A., Tsay, Yih-Kuen.. (2005).
Automated Technology for Verification and Analysis (1st ed.).
Berlin, Heidelberg:
Springer.
Chicago Style
Peled, Doron A., Tsay, Yih-Kuen..
Automated Technology for Verification and Analysis.
1st ed.
Berlin, Heidelberg:
Springer,
2005.
E Book.
MLA Style
Peled, Doron A., Tsay, Yih-Kuen..
Automated Technology for Verification and Analysis.
1st ed.
Berlin, Heidelberg:
Springer,
2005.
E Book.
Turabian Style
Peled, Doron A., Tsay, Yih-Kuen..
Automated Technology for Verification and Analysis.
1st ed.
Berlin, Heidelberg:
Springer,
2005.
E Book.