Gaya APA
Hung, D., Ogawa, M.
(2013).
Automated Technology for Verification and Analysis
.
:
Springer.
Gaya MLA
Hung, Dang., Ogawa, Mizuhito.
"Automated Technology for Verification and Analysis".
:
Springer,
2013.
E-Book.