APA-Zitierstil (7. Ausg.)

Bartocci, E., Falcone, Y., & Leucker, M. (2021). Formal methods in outer space: Essays dedicated to Klaus Havelund on the occasion of his 65th birthday (1st ed. 2021.). Springer. https://doi.org/10.1007/978-3-030-87348-6

Chicago-Zitierstil (17. Ausg.)

Bartocci, Ezio, Yliès Falcone, und Martin Leucker. Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday. 1st ed. 2021. Cham, Switzerland: Springer, 2021. https://doi.org/10.1007/978-3-030-87348-6.

MLA-Zitierstil (9. Ausg.)

Bartocci, Ezio, et al. Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday. 1st ed. 2021. Springer, 2021. https://doi.org/10.1007/978-3-030-87348-6.