APA (7. basım) Alıntı

Hung. (2013). Automated Technology for Verification and Analysis (1.). Springer International Publishing.

Chicago Style (17. basım) Atıf

Hung. Automated Technology for Verification and Analysis. 1. Springer International Publishing, 2013.

MLA (8th ed.) Atıf

Hung. Automated Technology for Verification and Analysis. 1. Springer International Publishing, 2013.

Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..