APA (7e ed.) Bronvermelding
Zohar Manna, D. A. P. Time for Verification: Essays in Memory of Amir Pnueli. Springer.
Chicago (17e ed.) Bronvermelding
Zohar Manna, Doron A. Peled. Time for Verification: Essays in Memory of Amir Pnueli. Berlín, Alemania: Springer.
MLA (9e ed.) Bronvermelding
Zohar Manna, Doron A. Peled. Time for Verification: Essays in Memory of Amir Pnueli. Springer.
Let op: Deze citaties zijn niet altijd 100% accuraat.