APA (7th ed.) Citation

SpringerLink (Online service), Manna, Z., & Peled, D. A. (2010). Time for verification: Essays in memory of Amir Pnueli. Springer-Verlag. https://doi.org/10.1007/978-3-642-13754-9

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Zohar Manna, and Doron A. Peled. Time for Verification: Essays in Memory of Amir Pnueli. Berlin ; New York: Springer-Verlag, 2010. https://doi.org/10.1007/978-3-642-13754-9.

MLA (9th ed.) Citation

SpringerLink (Online service), et al. Time for Verification: Essays in Memory of Amir Pnueli. Springer-Verlag, 2010. https://doi.org/10.1007/978-3-642-13754-9.