APA (7th ed.) Citation

Bartocci, E., & Falcone, Y. (2021). Formal methods in outer space: Essays dedicated to Klaus Havelund on the occasion of his 65th birthday. Springer.

Chicago Style (17th ed.) Citation

Bartocci, Ezio, and Yliès Falcone. Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday. Cham: Springer, 2021.

MLA (9th ed.) Citation

Bartocci, Ezio, and Yliès Falcone. Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday. Springer, 2021.