APA (7th ed.) Citation

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 Style (17th ed.) Citation

Bartocci, Ezio, Yliès Falcone, and 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 (9th ed.) Citation

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.