APA (7. basım) Alıntı
Zohar Manna, D. A. P. Time for Verification: Essays in Memory of Amir Pnueli. Springer.
Chicago Style (17. basım) Atıf
Zohar Manna, Doron A. Peled. Time for Verification: Essays in Memory of Amir Pnueli. Berlín, Alemania: Springer.
MLA (9th ed.) Atıf
Zohar Manna, Doron A. Peled. Time for Verification: Essays in Memory of Amir Pnueli. Springer.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..